Lines Matching refs:CheckerContext
110 static bool printMemFnName(raw_ostream &os, CheckerContext &C, const Expr *E);
208 static bool isReleased(SymbolRef Sym, CheckerContext &C);
213 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
320 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
321 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
322 void checkNewAllocator(const CXXAllocatorCall &Call, CheckerContext &C) const;
323 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
324 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
325 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
326 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
327 void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const;
331 CheckerContext &C) const;
357 void NAME(const CallEvent &Call, CheckerContext &C) const;
375 void checkRealloc(const CallEvent &Call, CheckerContext &C,
379 const CallEvent &Call, CheckerContext &C)>;
444 CheckerContext &C,
478 ProgramStateRef MallocMemReturnsAttr(CheckerContext &C, const CallEvent &Call,
492 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallEvent &Call,
507 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallEvent &Call,
516 performKernelMalloc(const CallEvent &Call, CheckerContext &C,
537 ProgramStateRef FreeMemAttr(CheckerContext &C, const CallEvent &Call,
561 ProgramStateRef FreeMemAux(CheckerContext &C, const CallEvent &Call,
587 ProgramStateRef FreeMemAux(CheckerContext &C, const Expr *ArgExpr,
607 ProgramStateRef ReallocMemAux(CheckerContext &C, const CallEvent &Call,
618 static SVal evalMulForBufferSize(CheckerContext &C, const Expr *Blocks,
627 static ProgramStateRef CallocMem(CheckerContext &C, const CallEvent &Call,
633 CheckerContext &C) const;
636 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
640 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
644 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
669 void checkEscapeOnReturn(const ReturnStmt *S, CheckerContext &C) const;
678 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
684 void HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, SourceRange Range,
688 void HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
691 void HandleMismatchedDealloc(CheckerContext &C, SourceRange Range,
695 void HandleOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
699 void HandleUseAfterFree(CheckerContext &C, SourceRange Range,
702 void HandleDoubleFree(CheckerContext &C, SourceRange Range, bool Released,
705 void HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
707 void HandleUseZeroAlloc(CheckerContext &C, SourceRange Range,
710 void HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
717 CheckerContext &C);
719 void HandleLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
722 bool isArgZERO_SIZE_PTR(ProgramStateRef State, CheckerContext &C,
925 MallocChecker::performKernelMalloc(const CallEvent &Call, CheckerContext &C, in performKernelMalloc()
1004 SVal MallocChecker::evalMulForBufferSize(CheckerContext &C, const Expr *Blocks, in evalMulForBufferSize()
1016 CheckerContext &C) const { in checkBasicAlloc()
1025 CheckerContext &C) const { in checkKernelMalloc()
1065 void MallocChecker::checkRealloc(const CallEvent &Call, CheckerContext &C, in checkRealloc()
1082 CheckerContext &C) const { in checkCalloc()
1090 void MallocChecker::checkFree(const CallEvent &Call, CheckerContext &C) const { in checkFree()
1101 CheckerContext &C) const { in checkAlloca()
1110 CheckerContext &C) const { in checkStrdup()
1121 CheckerContext &C) const { in checkIfNameIndex()
1132 CheckerContext &C) const { in checkIfFreeNameIndex()
1141 CheckerContext &C) const { in checkCXXNewOrCXXDelete()
1182 CheckerContext &C) const { in checkGMalloc0()
1192 CheckerContext &C) const { in checkGMemdup()
1201 CheckerContext &C) const { in checkGMallocN()
1212 CheckerContext &C) const { in checkGMallocN0()
1224 CheckerContext &C) const { in checkReallocN()
1234 CheckerContext &C) const { in checkOwnershipAttr()
1263 CheckerContext &C) const { in checkPostCall()
1401 CheckerContext &C, in processNewAllocation()
1428 CheckerContext &C) const { in checkNewAllocator()
1461 CheckerContext &C) const { in checkPostObjCMessage()
1485 MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallEvent &Call, in MallocMemReturnsAttr()
1502 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1514 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1547 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E, in MallocUpdateRefState()
1571 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C, in FreeMemAttr()
1594 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1625 static bool printMemFnName(raw_ostream &os, CheckerContext &C, const Expr *E) { in printMemFnName()
1690 CheckerContext &C, const Expr *ArgExpr, const CallEvent &Call, in FreeMemAux()
1901 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
1998 void MallocChecker::HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, in HandleNonHeapDealloc()
2046 void MallocChecker::HandleFreeAlloca(CheckerContext &C, SVal ArgVal, in HandleFreeAlloca()
2074 void MallocChecker::HandleMismatchedDealloc(CheckerContext &C, in HandleMismatchedDealloc()
2131 void MallocChecker::HandleOffsetFree(CheckerContext &C, SVal ArgVal, in HandleOffsetFree()
2189 void MallocChecker::HandleUseAfterFree(CheckerContext &C, SourceRange Range, in HandleUseAfterFree()
2228 void MallocChecker::HandleDoubleFree(CheckerContext &C, SourceRange Range, in HandleDoubleFree()
2260 void MallocChecker::HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in HandleDoubleDelete()
2286 void MallocChecker::HandleUseZeroAlloc(CheckerContext &C, SourceRange Range, in HandleUseZeroAlloc()
2317 void MallocChecker::HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, in HandleFunctionPtrFree()
2357 MallocChecker::ReallocMemAux(CheckerContext &C, const CallEvent &Call, in ReallocMemAux()
2464 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, in CallocMem()
2483 CheckerContext &C) { in getAllocationSite()
2523 CheckerContext &C) const { in HandleLeak()
2586 CheckerContext &C) const in checkDeadSymbols()
2647 CheckerContext &C) const { in checkPreCall()
2706 CheckerContext &C) const { in checkPreStmt()
2714 CheckerContext &C) const { in checkEndFunction()
2719 CheckerContext &C) const { in checkEscapeOnReturn()
2750 CheckerContext &C) const { in checkPostStmt()
2784 static bool isReleased(SymbolRef Sym, CheckerContext &C) { in isReleased()
2791 const CallEvent &Call, CheckerContext &C) const { in suppressDeallocationsInSuspiciousContexts()
2819 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2830 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2843 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2854 CheckerContext &C) const { in checkLocation()
3119 bool MallocChecker::isArgZERO_SIZE_PTR(ProgramStateRef State, CheckerContext &C, in isArgZERO_SIZE_PTR()