Lines Matching refs:MallocChecker

160 class MallocChecker : public Checker<check::DeadSymbols,  class
176 MallocChecker() in MallocChecker() function in __anon98725bea0111::MallocChecker
588 void MallocChecker::initIdentifierInfo(ASTContext &Ctx) const { in initIdentifierInfo()
627 bool MallocChecker::isMemFunction(const FunctionDecl *FD, ASTContext &C) const { in isMemFunction()
643 bool MallocChecker::isCMemFunction(const FunctionDecl *FD, in isCMemFunction()
717 bool MallocChecker::isStandardNewDelete(const FunctionDecl *FD, in isStandardNewDelete()
734 llvm::Optional<ProgramStateRef> MallocChecker::performKernelMalloc( in performKernelMalloc()
812 SVal MallocChecker::evalMulForBufferSize(CheckerContext &C, const Expr *Blocks, in evalMulForBufferSize()
823 void MallocChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const { in checkPostStmt()
972 ProgramStateRef MallocChecker::ProcessZeroAllocation( in ProcessZeroAllocation()
1073 void MallocChecker::processNewAllocation(const CXXNewExpr *NE, in processNewAllocation()
1095 void MallocChecker::checkPostStmt(const CXXNewExpr *NE, in checkPostStmt()
1101 void MallocChecker::checkNewAllocator(const CXXNewExpr *NE, SVal Target, in checkNewAllocator()
1110 ProgramStateRef MallocChecker::addExtentSize(CheckerContext &C, in addExtentSize()
1153 void MallocChecker::checkPreStmt(const CXXDeleteExpr *DE, in checkPreStmt()
1194 void MallocChecker::checkPostObjCMessage(const ObjCMethodCall &Call, in checkPostObjCMessage()
1216 MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE, in MallocMemReturnsAttr()
1233 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1244 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1288 ProgramStateRef MallocChecker::MallocUpdateRefState(CheckerContext &C, in MallocUpdateRefState()
1313 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C, in FreeMemAttr()
1335 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1367 AllocationFamily MallocChecker::getAllocationFamily(CheckerContext &C, in getAllocationFamily()
1412 bool MallocChecker::printAllocDeallocName(raw_ostream &os, CheckerContext &C, in printAllocDeallocName()
1452 void MallocChecker::printExpectedAllocName(raw_ostream &os, CheckerContext &C, in printExpectedAllocName()
1467 void MallocChecker::printExpectedDeallocName(raw_ostream &os, in printExpectedDeallocName()
1480 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1636 Optional<MallocChecker::CheckKind>
1637 MallocChecker::getCheckIfTracked(AllocationFamily Family, in getCheckIfTracked()
1671 Optional<MallocChecker::CheckKind>
1672 MallocChecker::getCheckIfTracked(CheckerContext &C, in getCheckIfTracked()
1679 Optional<MallocChecker::CheckKind>
1680 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
1690 bool MallocChecker::SummarizeValue(raw_ostream &os, SVal V) { in SummarizeValue()
1703 bool MallocChecker::SummarizeRegion(raw_ostream &os, in SummarizeRegion()
1777 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal, in ReportBadFree()
1785 Optional<MallocChecker::CheckKind> CheckKind = in ReportBadFree()
1823 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal, in ReportFreeAlloca()
1826 Optional<MallocChecker::CheckKind> CheckKind; in ReportFreeAlloca()
1849 void MallocChecker::ReportMismatchedDealloc(CheckerContext &C, in ReportMismatchedDealloc()
1904 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal, in ReportOffsetFree()
1913 Optional<MallocChecker::CheckKind> CheckKind = in ReportOffsetFree()
1961 void MallocChecker::ReportUseAfterFree(CheckerContext &C, SourceRange Range, in ReportUseAfterFree()
1969 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportUseAfterFree()
1998 void MallocChecker::ReportDoubleFree(CheckerContext &C, SourceRange Range, in ReportDoubleFree()
2006 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportDoubleFree()
2029 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in ReportDoubleDelete()
2034 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportDoubleDelete()
2053 void MallocChecker::ReportUseZeroAllocated(CheckerContext &C, in ReportUseZeroAllocated()
2061 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, Sym); in ReportUseZeroAllocated()
2084 void MallocChecker::ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal, in ReportFunctionPointerFree()
2090 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(C, FreeExpr); in ReportFunctionPointerFree()
2119 ProgramStateRef MallocChecker::ReallocMemAux(CheckerContext &C, in ReallocMemAux()
2225 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE, in CallocMem()
2241 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym, in getAllocationSite()
2282 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N, in reportLeak()
2296 Optional<MallocChecker::CheckKind> in reportLeak()
2345 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
2406 void MallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
2449 void MallocChecker::checkPreStmt(const ReturnStmt *S, in checkPreStmt()
2457 void MallocChecker::checkEndFunction(const ReturnStmt *S, in checkEndFunction()
2462 void MallocChecker::checkEscapeOnReturn(const ReturnStmt *S, in checkEscapeOnReturn()
2493 void MallocChecker::checkPostStmt(const BlockExpr *BE, in checkPostStmt()
2528 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const { in isReleased()
2534 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2545 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2558 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2568 void MallocChecker::checkLocation(SVal l, bool isLoad, const Stmt *S, in checkLocation()
2579 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume()
2619 bool MallocChecker::mayFreeAnyEscapedMemoryOrIsModeledExplicitly( in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2794 ProgramStateRef MallocChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
2801 ProgramStateRef MallocChecker::checkConstPointerEscape(ProgramStateRef State, in checkConstPointerEscape()
2809 ProgramStateRef MallocChecker::checkPointerEscapeAux(ProgramStateRef State, in checkPointerEscapeAux()
2871 std::shared_ptr<PathDiagnosticPiece> MallocChecker::MallocBugVisitor::VisitNode( in VisitNode()
3052 void MallocChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
3062 Optional<MallocChecker::CheckKind> CheckKind = getCheckIfTracked(Family); in printState()
3092 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); in registerNewDeleteLeaksChecker()
3095 checker->ChecksEnabled[MallocChecker::CK_NewDeleteLeaksChecker] = true; in registerNewDeleteLeaksChecker()
3096 checker->CheckNames[MallocChecker::CK_NewDeleteLeaksChecker] = in registerNewDeleteLeaksChecker()
3100 if (!checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker]) { in registerNewDeleteLeaksChecker()
3101 checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker] = true; in registerNewDeleteLeaksChecker()
3104 checker->CheckNames[MallocChecker::CK_NewDeleteChecker] = in registerNewDeleteLeaksChecker()
3113 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); in registerInnerPointerCheckerAux()
3116 checker->ChecksEnabled[MallocChecker::CK_InnerPointerChecker] = true; in registerInnerPointerCheckerAux()
3117 checker->CheckNames[MallocChecker::CK_InnerPointerChecker] = in registerInnerPointerCheckerAux()
3124 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); \
3127 checker->ChecksEnabled[MallocChecker::CK_##name] = true; \
3128 checker->CheckNames[MallocChecker::CK_##name] = mgr.getCurrentCheckName(); \
3131 REGISTER_CHECKER(MallocChecker)