H A D | Checker.h | 31 static void _checkDecl(void *checker, const Decl *D, AnalysisManager& mgr, argument 33 ((const CHECKER *)checker)->checkASTDecl(cast<DECL>(D), mgr, BR); 41 static void _register(CHECKER *checker, CheckerManager &mgr) { argument 42 mgr._registerForDecl(CheckerManager::CheckDeclFunc(checker, 50 static void _checkBody(void *checker, const Decl *D, AnalysisManager& mgr, argument 52 ((const CHECKER *)checker)->checkASTCodeBody(D, mgr, BR); 57 static void _register(CHECKER *checker, CheckerManager &mgr) { argument 58 mgr._registerForBody(CheckerManager::CheckDeclFunc(checker, 65 static void _checkEndOfTranslationUnit(void *checker, argument 69 ((const CHECKER *)checker) 74 _register(CHECKER *checker, CheckerManager &mgr) argument 84 _checkStmt(void *checker, const Stmt *S, CheckerContext &C) argument 93 _register(CHECKER *checker, CheckerManager &mgr) argument 103 _checkStmt(void *checker, const Stmt *S, CheckerContext &C) argument 112 _register(CHECKER *checker, CheckerManager &mgr) argument 121 _checkObjCMessage(void *checker, const ObjCMethodCall &msg, CheckerContext &C) argument 128 _register(CHECKER *checker, CheckerManager &mgr) argument 136 _checkObjCMessage(void *checker, const ObjCMethodCall &msg, CheckerContext &C) argument 143 _register(CHECKER *checker, CheckerManager &mgr) argument 151 _checkObjCMessage(void *checker, const ObjCMethodCall &msg, CheckerContext &C) argument 158 _register(CHECKER *checker, CheckerManager &mgr) argument 166 _checkCall(void *checker, const CallEvent &msg, CheckerContext &C) argument 173 _register(CHECKER *checker, CheckerManager &mgr) argument 181 _checkCall(void *checker, const CallEvent &msg, CheckerContext &C) argument 188 _register(CHECKER *checker, CheckerManager &mgr) argument 196 _checkLocation(void *checker, const SVal &location, bool isLoad, const Stmt *S, CheckerContext &C) argument 204 _register(CHECKER *checker, CheckerManager &mgr) argument 212 _checkBind(void *checker, const SVal &location, const SVal &val, const Stmt *S, CheckerContext &C) argument 220 _register(CHECKER *checker, CheckerManager &mgr) argument 228 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 235 _register(CHECKER *checker, CheckerManager &mgr) argument 243 _checkEndFunction(void *checker, CheckerContext &C) argument 250 _register(CHECKER *checker, CheckerManager &mgr) argument 258 _checkBranchCondition(void *checker, const Stmt *Condition, CheckerContext & C) argument 265 _register(CHECKER *checker, CheckerManager &mgr) argument 274 _checkLiveSymbols(void *checker, ProgramStateRef state, SymbolReaper &SR) argument 281 _register(CHECKER *checker, CheckerManager &mgr) argument 289 _checkDeadSymbols(void *checker, SymbolReaper &SR, CheckerContext &C) argument 296 _register(CHECKER *checker, CheckerManager &mgr) argument 305 _checkRegionChanges(void *checker, ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> Explicits, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) argument 315 _wantsRegionChangeUpdate(void *checker, ProgramStateRef state) argument 322 _register(CHECKER *checker, CheckerManager &mgr) argument 367 _register(CHECKER *checker, CheckerManager &mgr) argument 407 _register(CHECKER *checker, CheckerManager &mgr) argument 418 _checkEvent(void *checker, const void *event) argument 423 _register(CHECKER *checker, CheckerManager &mgr) argument 435 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument 444 _register(CHECKER *checker, CheckerManager &mgr) argument 452 _evalCall(void *checker, const CallExpr *CE, CheckerContext &C) argument 458 _register(CHECKER *checker, CheckerManager &mgr) argument 494 _register(CHECKER *checker, CheckerManager &mgr) argument 504 _register(CHECKER *checker, CheckerManager &mgr) argument 516 _register(CHECKER *checker, CheckerManager &mgr) argument [all...] |