Lines Matching refs:MallocChecker

157 class MallocChecker : public Checker<check::DeadSymbols,  class
171 MallocChecker() in MallocChecker() function in __anone8977cbd0111::MallocChecker
531 void MallocChecker::initIdentifierInfo(ASTContext &Ctx) const { in initIdentifierInfo()
548 bool MallocChecker::isMemFunction(const FunctionDecl *FD, ASTContext &C) const { in isMemFunction()
564 bool MallocChecker::isCMemFunction(const FunctionDecl *FD, in isCMemFunction()
631 bool MallocChecker::isStandardNewDelete(const FunctionDecl *FD, in isStandardNewDelete()
660 llvm::Optional<ProgramStateRef> MallocChecker::performKernelMalloc( in performKernelMalloc()
738 void MallocChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const { in checkPostStmt()
850 ProgramStateRef MallocChecker::ProcessZeroAllocation(CheckerContext &C, in ProcessZeroAllocation()
951 void MallocChecker::checkPostStmt(const CXXNewExpr *NE, in checkPostStmt()
978 void MallocChecker::checkPreStmt(const CXXDeleteExpr *DE, in checkPreStmt()
1022 void MallocChecker::checkPostObjCMessage(const ObjCMethodCall &Call, in checkPostObjCMessage()
1044 MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE, in MallocMemReturnsAttr()
1060 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1072 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1116 ProgramStateRef MallocChecker::MallocUpdateRefState(CheckerContext &C, in MallocUpdateRefState()
1137 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C, in FreeMemAttr()
1159 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1191 AllocationFamily MallocChecker::getAllocationFamily(CheckerContext &C, in getAllocationFamily()
1236 bool MallocChecker::printAllocDeallocName(raw_ostream &os, CheckerContext &C, in printAllocDeallocName()
1276 void MallocChecker::printExpectedAllocName(raw_ostream &os, CheckerContext &C, in printExpectedAllocName()
1290 void MallocChecker::printExpectedDeallocName(raw_ostream &os, in printExpectedDeallocName()
1302 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1453 Optional<MallocChecker::CheckKind>
1454 MallocChecker::getCheckIfTracked(AllocationFamily Family, in getCheckIfTracked()
1463 return Optional<MallocChecker::CheckKind>(); in getCheckIfTracked()
1475 return Optional<MallocChecker::CheckKind>(); in getCheckIfTracked()
1484 Optional<MallocChecker::CheckKind>
1485 MallocChecker::getCheckIfTracked(CheckerContext &C, in getCheckIfTracked()
1492 Optional<MallocChecker::CheckKind>
1493 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
1503 bool MallocChecker::SummarizeValue(raw_ostream &os, SVal V) { in SummarizeValue()
1516 bool MallocChecker::SummarizeRegion(raw_ostream &os, in SummarizeRegion()
1590 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal, in ReportBadFree()
1598 Optional<MallocChecker::CheckKind> CheckKind = in ReportBadFree()
1636 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal, in ReportFreeAlloca()
1639 Optional<MallocChecker::CheckKind> CheckKind; in ReportFreeAlloca()
1662 void MallocChecker::ReportMismatchedDealloc(CheckerContext &C, in ReportMismatchedDealloc()
1717 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal, in ReportOffsetFree()
1726 Optional<MallocChecker::CheckKind> CheckKind = in ReportOffsetFree()
1774 void MallocChecker::ReportUseAfterFree(CheckerContext &C, SourceRange Range, in ReportUseAfterFree()
1781 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportUseAfterFree()
1800 void MallocChecker::ReportDoubleFree(CheckerContext &C, SourceRange Range, in ReportDoubleFree()
1808 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportDoubleFree()
1831 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in ReportDoubleDelete()
1836 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportDoubleDelete()
1854 void MallocChecker::ReportUseZeroAllocated(CheckerContext &C, in ReportUseZeroAllocated()
1862 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportUseZeroAllocated()
1884 ProgramStateRef MallocChecker::ReallocMem(CheckerContext &C, in ReallocMem()
1989 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE, in CallocMem()
2009 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym, in getAllocationSite()
2050 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N, in reportLeak()
2064 Optional<MallocChecker::CheckKind> in reportLeak()
2118 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
2173 void MallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
2220 void MallocChecker::checkPreStmt(const ReturnStmt *S, CheckerContext &C) const { in checkPreStmt()
2247 void MallocChecker::checkPostStmt(const BlockExpr *BE, in checkPostStmt()
2284 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const { in isReleased()
2290 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2301 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2314 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2324 void MallocChecker::checkLocation(SVal l, bool isLoad, const Stmt *S, in checkLocation()
2335 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume()
2375 bool MallocChecker::mayFreeAnyEscapedMemoryOrIsModeledExplicitly( in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2535 ProgramStateRef MallocChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
2542 ProgramStateRef MallocChecker::checkConstPointerEscape(ProgramStateRef State, in checkConstPointerEscape()
2550 ProgramStateRef MallocChecker::checkPointerEscapeAux(ProgramStateRef State, in checkPointerEscapeAux()
2600 MallocChecker::MallocBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
2687 void MallocChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
2697 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(Family); in printState()
2713 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); in registerNewDeleteLeaksChecker()
2716 checker->ChecksEnabled[MallocChecker::CK_NewDeleteLeaksChecker] = true; in registerNewDeleteLeaksChecker()
2717 checker->CheckNames[MallocChecker::CK_NewDeleteLeaksChecker] = in registerNewDeleteLeaksChecker()
2721 if (!checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker]) in registerNewDeleteLeaksChecker()
2722 checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker] = true; in registerNewDeleteLeaksChecker()
2728 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); \
2731 checker->ChecksEnabled[MallocChecker::CK_##name] = true; \
2732 checker->CheckNames[MallocChecker::CK_##name] = mgr.getCurrentCheckName(); \
2735 REGISTER_CHECKER(MallocChecker)