MallocChecker.cpp - OpenGrok cross reference for /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

Lines Matching refs:CheckerContext
212   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
213   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
214   void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
216                          CheckerContext &C) const;
217   void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
218   void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
219   void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
220   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
221   void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
222   void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const;
226                      CheckerContext &C) const;
265   AllocationFamily getAllocationFamily(CheckerContext &C, const Stmt *S) const;
270   bool printAllocDeallocName(raw_ostream &os, CheckerContext &C,
275   void printExpectedAllocName(raw_ostream &os, CheckerContext &C,
294   void processNewAllocation(const CXXNewExpr *NE, CheckerContext &C,
300   ProgramStateRef ProcessZeroAllocation(CheckerContext &C, const Expr *E,
305   ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
309   static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
313   static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
318   static ProgramStateRef addExtentSize(CheckerContext &C, const CXXNewExpr *NE,
324   performKernelMalloc(const CallExpr *CE, CheckerContext &C,
331   MallocUpdateRefState(CheckerContext &C, const Expr *E, ProgramStateRef State,
335   ProgramStateRef FreeMemAttr(CheckerContext &C, const CallExpr *CE,
338   ProgramStateRef FreeMemAux(CheckerContext &C, const CallExpr *CE,
343   ProgramStateRef FreeMemAux(CheckerContext &C, const Expr *Arg,
350   ProgramStateRef ReallocMemAux(CheckerContext &C, const CallExpr *CE,
354   static SVal evalMulForBufferSize(CheckerContext &C, const Expr *Blocks,
356   static ProgramStateRef CallocMem(CheckerContext &C, const CallExpr *CE,
360   bool isReleased(SymbolRef Sym, CheckerContext &C) const;
362   bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
364   void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
367   bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
391   void checkEscapeOnReturn(const ReturnStmt *S, CheckerContext &C) const;
399   Optional<CheckKind> getCheckIfTracked(CheckerContext &C,
402   Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
407   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
409   void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
411   void ReportMismatchedDealloc(CheckerContext &C, SourceRange Range,
414   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
417   void ReportUseAfterFree(CheckerContext &C, SourceRange Range,
419   void ReportDoubleFree(CheckerContext &C, SourceRange Range, bool Released,
422   void ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
424   void ReportUseZeroAllocated(CheckerContext &C, SourceRange Range,
427   void ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,
433                              CheckerContext &C) const;
435   void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
735   const CallExpr *CE, CheckerContext &C, const ProgramStateRef &State) const {  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()
973     CheckerContext &C, const Expr *E, const unsigned AllocationSizeArg,  in ProcessZeroAllocation()
1074                                          CheckerContext &C,  in processNewAllocation()
1096                                   CheckerContext &C) const {  in checkPostStmt()
1102                                       CheckerContext &C) const {  in checkNewAllocator()
1110 ProgramStateRef MallocChecker::addExtentSize(CheckerContext &C,  in addExtentSize()
1154                                  CheckerContext &C) const {  in checkPreStmt()
1195                                          CheckerContext &C) const {  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()
1480 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C,  in FreeMemAux()
1672 MallocChecker::getCheckIfTracked(CheckerContext &C,  in getCheckIfTracked()
1680 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym,  in getCheckIfTracked()
1777 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,  in ReportBadFree()
1823 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,  in ReportFreeAlloca()
1849 void MallocChecker::ReportMismatchedDealloc(CheckerContext &C,  in ReportMismatchedDealloc()
1904 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,  in ReportOffsetFree()
1961 void MallocChecker::ReportUseAfterFree(CheckerContext &C, SourceRange Range,  in ReportUseAfterFree()
1998 void MallocChecker::ReportDoubleFree(CheckerContext &C, SourceRange Range,  in ReportDoubleFree()
2029 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const {  in ReportDoubleDelete()
2053 void MallocChecker::ReportUseZeroAllocated(CheckerContext &C,  in ReportUseZeroAllocated()
2084 void MallocChecker::ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,  in ReportFunctionPointerFree()
2119 ProgramStateRef MallocChecker::ReallocMemAux(CheckerContext &C,  in ReallocMemAux()
2225 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE,  in CallocMem()
2242                                  CheckerContext &C) const {  in getAllocationSite()
2283                                CheckerContext &C) const {  in reportLeak()
2346                                      CheckerContext &C) const  in checkDeadSymbols()
2407                                  CheckerContext &C) const {  in checkPreCall()
2450                                  CheckerContext &C) const {  in checkPreStmt()
2458                                      CheckerContext &C) const {  in checkEndFunction()
2463                                         CheckerContext &C) const {  in checkEscapeOnReturn()
2494                                   CheckerContext &C) const {  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()
2569                                   CheckerContext &C) const {  in checkLocation()