Lines Matching refs:ExprInspectionChecker
25 class ExprInspectionChecker class
56 typedef void (ExprInspectionChecker::*FnCheck)(const CallExpr *,
80 bool ExprInspectionChecker::evalCall(const CallEvent &Call, in REGISTER_SET_WITH_PROGRAMSTATE()
90 .Case("clang_analyzer_eval", &ExprInspectionChecker::analyzerEval) in REGISTER_SET_WITH_PROGRAMSTATE()
92 &ExprInspectionChecker::analyzerCheckInlined) in REGISTER_SET_WITH_PROGRAMSTATE()
93 .Case("clang_analyzer_crash", &ExprInspectionChecker::analyzerCrash) in REGISTER_SET_WITH_PROGRAMSTATE()
95 &ExprInspectionChecker::analyzerWarnIfReached) in REGISTER_SET_WITH_PROGRAMSTATE()
97 &ExprInspectionChecker::analyzerWarnOnDeadSymbol) in REGISTER_SET_WITH_PROGRAMSTATE()
99 &ExprInspectionChecker::analyzerExplain) in REGISTER_SET_WITH_PROGRAMSTATE()
101 &ExprInspectionChecker::analyzerDumpExtent) in REGISTER_SET_WITH_PROGRAMSTATE()
103 &ExprInspectionChecker::analyzerDumpElementCount) in REGISTER_SET_WITH_PROGRAMSTATE()
104 .Case("clang_analyzer_value", &ExprInspectionChecker::analyzerValue) in REGISTER_SET_WITH_PROGRAMSTATE()
106 &ExprInspectionChecker::analyzerDumpSValType) in REGISTER_SET_WITH_PROGRAMSTATE()
108 &ExprInspectionChecker::analyzerDump) in REGISTER_SET_WITH_PROGRAMSTATE()
110 &ExprInspectionChecker::analyzerGetExtent) in REGISTER_SET_WITH_PROGRAMSTATE()
112 &ExprInspectionChecker::analyzerPrintState) in REGISTER_SET_WITH_PROGRAMSTATE()
114 &ExprInspectionChecker::analyzerNumTimesReached) in REGISTER_SET_WITH_PROGRAMSTATE()
116 &ExprInspectionChecker::analyzerHashDump) in REGISTER_SET_WITH_PROGRAMSTATE()
117 .Case("clang_analyzer_denote", &ExprInspectionChecker::analyzerDenote) in REGISTER_SET_WITH_PROGRAMSTATE()
119 &ExprInspectionChecker::analyzerExpress) in REGISTER_SET_WITH_PROGRAMSTATE()
121 &ExprInspectionChecker::analyzerIsTainted) in REGISTER_SET_WITH_PROGRAMSTATE()
163 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
171 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
188 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE, in getArgExpr()
197 const MemRegion *ExprInspectionChecker::getArgRegion(const CallExpr *CE, in getArgRegion()
212 void ExprInspectionChecker::analyzerEval(const CallExpr *CE, in analyzerEval()
224 void ExprInspectionChecker::analyzerWarnIfReached(const CallExpr *CE, in analyzerWarnIfReached()
229 void ExprInspectionChecker::analyzerNumTimesReached(const CallExpr *CE, in analyzerNumTimesReached()
238 void ExprInspectionChecker::analyzerCheckInlined(const CallExpr *CE, in analyzerCheckInlined()
253 void ExprInspectionChecker::analyzerExplain(const CallExpr *CE, in analyzerExplain()
281 void ExprInspectionChecker::printAndReport(CheckerContext &C, T What) const { in printAndReport()
288 void ExprInspectionChecker::analyzerValue(const CallExpr *CE, in analyzerValue()
303 void ExprInspectionChecker::analyzerDumpSValType(const CallExpr *CE, in analyzerDumpSValType()
313 void ExprInspectionChecker::analyzerDump(const CallExpr *CE, in analyzerDump()
323 void ExprInspectionChecker::analyzerGetExtent(const CallExpr *CE, in analyzerGetExtent()
336 void ExprInspectionChecker::analyzerDumpExtent(const CallExpr *CE, in analyzerDumpExtent()
347 void ExprInspectionChecker::analyzerDumpElementCount(const CallExpr *CE, in analyzerDumpElementCount()
368 void ExprInspectionChecker::analyzerPrintState(const CallExpr *CE, in analyzerPrintState()
373 void ExprInspectionChecker::analyzerWarnOnDeadSymbol(const CallExpr *CE, in analyzerWarnOnDeadSymbol()
389 void ExprInspectionChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
414 void ExprInspectionChecker::checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
425 void ExprInspectionChecker::analyzerCrash(const CallExpr *CE, in analyzerCrash()
430 void ExprInspectionChecker::analyzerHashDump(const CallExpr *CE, in analyzerHashDump()
442 void ExprInspectionChecker::analyzerDenote(const CallExpr *CE, in analyzerDenote()
525 void ExprInspectionChecker::analyzerExpress(const CallExpr *CE, in analyzerExpress()
548 void ExprInspectionChecker::analyzerIsTainted(const CallExpr *CE, in analyzerIsTainted()
560 Mgr.registerChecker<ExprInspectionChecker>(); in registerExprInspectionChecker()