Lines Matching refs:CheckerContext
18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
79 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
82 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
85 void checkLocation(SVal l, bool isLoad, CheckerContext &C) const;
86 void checkBind(SVal location, SVal val, CheckerContext &C) const;
89 static void MallocMem(CheckerContext &C, const CallExpr *CE);
90 static void MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE,
92 static const GRState *MallocMemAux(CheckerContext &C, const CallExpr *CE,
97 static const GRState *MallocMemAux(CheckerContext &C, const CallExpr *CE,
101 void FreeMem(CheckerContext &C, const CallExpr *CE) const;
102 void FreeMemAttr(CheckerContext &C, const CallExpr *CE,
104 const GRState *FreeMemAux(CheckerContext &C, const CallExpr *CE,
107 void ReallocMem(CheckerContext &C, const CallExpr *CE) const;
108 static void CallocMem(CheckerContext &C, const CallExpr *CE);
112 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange range) const;
128 bool MallocChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
195 void MallocChecker::MallocMem(CheckerContext &C, const CallExpr *CE) {
201 void MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE,
218 const GRState *MallocChecker::MallocMemAux(CheckerContext &C,
249 void MallocChecker::FreeMem(CheckerContext &C, const CallExpr *CE) const {
256 void MallocChecker::FreeMemAttr(CheckerContext &C, const CallExpr *CE,
270 const GRState *MallocChecker::FreeMemAux(CheckerContext &C, const CallExpr *CE,
455 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
493 void MallocChecker::ReallocMem(CheckerContext &C, const CallExpr *CE) const {
558 void MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE) {
572 CheckerContext &C) const
621 void MallocChecker::checkPreStmt(const ReturnStmt *S, CheckerContext &C) const {
660 void MallocChecker::checkLocation(SVal l, bool isLoad,CheckerContext &C) const {
678 void MallocChecker::checkBind(SVal location, SVal val,CheckerContext &C) const {
