Lines Matching refs:MallocChecker
158 class MallocChecker : public Checker<check::DeadSymbols, class
172 MallocChecker() in MallocChecker() function in __anon42261f860111::MallocChecker
534 void MallocChecker::initIdentifierInfo(ASTContext &Ctx) const { in initIdentifierInfo()
557 bool MallocChecker::isMemFunction(const FunctionDecl *FD, ASTContext &C) const { in isMemFunction()
573 bool MallocChecker::isCMemFunction(const FunctionDecl *FD, in isCMemFunction()
641 bool MallocChecker::isStandardNewDelete(const FunctionDecl *FD, in isStandardNewDelete()
670 llvm::Optional<ProgramStateRef> MallocChecker::performKernelMalloc( in performKernelMalloc()
748 void MallocChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const { in checkPostStmt()
861 ProgramStateRef MallocChecker::ProcessZeroAllocation(CheckerContext &C, in ProcessZeroAllocation()
962 void MallocChecker::checkPostStmt(const CXXNewExpr *NE, in checkPostStmt()
989 void MallocChecker::checkPreStmt(const CXXDeleteExpr *DE, in checkPreStmt()
1030 void MallocChecker::checkPostObjCMessage(const ObjCMethodCall &Call, in checkPostObjCMessage()
1052 MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE, in MallocMemReturnsAttr()
1068 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1080 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1124 ProgramStateRef MallocChecker::MallocUpdateRefState(CheckerContext &C, in MallocUpdateRefState()
1145 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C, in FreeMemAttr()
1167 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1199 AllocationFamily MallocChecker::getAllocationFamily(CheckerContext &C, in getAllocationFamily()
1244 bool MallocChecker::printAllocDeallocName(raw_ostream &os, CheckerContext &C, in printAllocDeallocName()
1284 void MallocChecker::printExpectedAllocName(raw_ostream &os, CheckerContext &C, in printExpectedAllocName()
1298 void MallocChecker::printExpectedDeallocName(raw_ostream &os, in printExpectedDeallocName()
1310 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1461 Optional<MallocChecker::CheckKind>
1462 MallocChecker::getCheckIfTracked(AllocationFamily Family, in getCheckIfTracked()
1471 return Optional<MallocChecker::CheckKind>(); in getCheckIfTracked()
1483 return Optional<MallocChecker::CheckKind>(); in getCheckIfTracked()
1492 Optional<MallocChecker::CheckKind>
1493 MallocChecker::getCheckIfTracked(CheckerContext &C, in getCheckIfTracked()
1500 Optional<MallocChecker::CheckKind>
1501 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
1511 bool MallocChecker::SummarizeValue(raw_ostream &os, SVal V) { in SummarizeValue()
1524 bool MallocChecker::SummarizeRegion(raw_ostream &os, in SummarizeRegion()
1598 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal, in ReportBadFree()
1606 Optional<MallocChecker::CheckKind> CheckKind = in ReportBadFree()
1644 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal, in ReportFreeAlloca()
1647 Optional<MallocChecker::CheckKind> CheckKind; in ReportFreeAlloca()
1670 void MallocChecker::ReportMismatchedDealloc(CheckerContext &C, in ReportMismatchedDealloc()
1725 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal, in ReportOffsetFree()
1734 Optional<MallocChecker::CheckKind> CheckKind = in ReportOffsetFree()
1782 void MallocChecker::ReportUseAfterFree(CheckerContext &C, SourceRange Range, in ReportUseAfterFree()
1789 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportUseAfterFree()
1808 void MallocChecker::ReportDoubleFree(CheckerContext &C, SourceRange Range, in ReportDoubleFree()
1816 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportDoubleFree()
1839 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in ReportDoubleDelete()
1844 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportDoubleDelete()
1862 void MallocChecker::ReportUseZeroAllocated(CheckerContext &C, in ReportUseZeroAllocated()
1870 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportUseZeroAllocated()
1892 ProgramStateRef MallocChecker::ReallocMem(CheckerContext &C, in ReallocMem()
1997 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE, in CallocMem()
2017 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym, in getAllocationSite()
2058 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N, in reportLeak()
2072 Optional<MallocChecker::CheckKind> in reportLeak()
2126 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
2181 void MallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
2228 void MallocChecker::checkPreStmt(const ReturnStmt *S, CheckerContext &C) const { in checkPreStmt()
2255 void MallocChecker::checkPostStmt(const BlockExpr *BE, in checkPostStmt()
2292 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const { in isReleased()
2298 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2309 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2322 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2332 void MallocChecker::checkLocation(SVal l, bool isLoad, const Stmt *S, in checkLocation()
2343 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume()
2383 bool MallocChecker::mayFreeAnyEscapedMemoryOrIsModeledExplicitly( in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2553 ProgramStateRef MallocChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
2560 ProgramStateRef MallocChecker::checkConstPointerEscape(ProgramStateRef State, in checkConstPointerEscape()
2568 ProgramStateRef MallocChecker::checkPointerEscapeAux(ProgramStateRef State, in checkPointerEscapeAux()
2618 MallocChecker::MallocBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
2705 void MallocChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
2715 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(Family); in printState()
2731 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); in registerNewDeleteLeaksChecker()
2734 checker->ChecksEnabled[MallocChecker::CK_NewDeleteLeaksChecker] = true; in registerNewDeleteLeaksChecker()
2735 checker->CheckNames[MallocChecker::CK_NewDeleteLeaksChecker] = in registerNewDeleteLeaksChecker()
2739 if (!checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker]) in registerNewDeleteLeaksChecker()
2740 checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker] = true; in registerNewDeleteLeaksChecker()
2746 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); \
2749 checker->ChecksEnabled[MallocChecker::CK_##name] = true; \
2750 checker->CheckNames[MallocChecker::CK_##name] = mgr.getCurrentCheckName(); \
2753 REGISTER_CHECKER(MallocChecker)