H A D | Checker.h | 29 static void _register(void *checker, CheckerManager &mgr) { } argument 35 static void _checkDecl(void *checker, const Decl *D, AnalysisManager& mgr, argument 37 ((const CHECKER *)checker)->checkASTDecl(cast<DECL>(D), mgr, BR); 45 static void _register(CHECKER *checker, CheckerManager &mgr) { argument 46 mgr._registerForDecl(CheckerManager::CheckDeclFunc(checker, 54 static void _checkBody(void *checker, const Decl *D, AnalysisManager& mgr, argument 56 ((const CHECKER *)checker)->checkASTCodeBody(D, mgr, BR); 61 static void _register(CHECKER *checker, CheckerManager &mgr) { argument 62 mgr._registerForBody(CheckerManager::CheckDeclFunc(checker, 69 static void _checkEndOfTranslationUnit(void *checker, argument 78 _register(CHECKER *checker, CheckerManager &mgr) argument 88 _checkStmt(void *checker, const Stmt *S, CheckerContext &C) argument 97 _register(CHECKER *checker, CheckerManager &mgr) argument 107 _checkStmt(void *checker, const Stmt *S, CheckerContext &C) argument 116 _register(CHECKER *checker, CheckerManager &mgr) argument 125 _checkObjCMessage(void *checker, const ObjCMethodCall &msg, CheckerContext &C) argument 132 _register(CHECKER *checker, CheckerManager &mgr) argument 140 _checkObjCMessage(void *checker, const ObjCMethodCall &msg, CheckerContext &C) argument 147 _register(CHECKER *checker, CheckerManager &mgr) argument 155 _checkCall(void *checker, const CallEvent &msg, CheckerContext &C) argument 162 _register(CHECKER *checker, CheckerManager &mgr) argument 170 _checkCall(void *checker, const CallEvent &msg, CheckerContext &C) argument 177 _register(CHECKER *checker, CheckerManager &mgr) argument 185 _checkLocation(void *checker, const SVal &location, bool isLoad, const Stmt *S, CheckerContext &C) argument 193 _register(CHECKER *checker, CheckerManager &mgr) argument 201 _checkBind(void *checker, const SVal &location, const SVal &val, const Stmt *S, CheckerContext &C) argument 209 _register(CHECKER *checker, CheckerManager &mgr) argument 217 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 224 _register(CHECKER *checker, CheckerManager &mgr) argument 232 _checkEndFunction(void *checker, CheckerContext &C) argument 239 _register(CHECKER *checker, CheckerManager &mgr) argument 247 _checkBranchCondition(void *checker, const Stmt *Condition, CheckerContext & C) argument 254 _register(CHECKER *checker, CheckerManager &mgr) argument 263 _checkLiveSymbols(void *checker, ProgramStateRef state, SymbolReaper &SR) argument 270 _register(CHECKER *checker, CheckerManager &mgr) argument 278 _checkDeadSymbols(void *checker, SymbolReaper &SR, CheckerContext &C) argument 285 _register(CHECKER *checker, CheckerManager &mgr) argument 294 _checkRegionChanges(void *checker, ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> Explicits, ArrayRef<const MemRegion *> Regions, const CallEvent *Call) argument 304 _wantsRegionChangeUpdate(void *checker, ProgramStateRef state) argument 311 _register(CHECKER *checker, CheckerManager &mgr) argument 323 _checkPointerEscape(void *checker, ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind, bool IsConst) argument 339 _register(CHECKER *checker, CheckerManager &mgr) argument 349 _checkConstPointerEscape(void *checker, ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind, bool IsConst) argument 365 _register(CHECKER *checker, CheckerManager &mgr) argument 376 _checkEvent(void *checker, const void *event) argument 381 _register(CHECKER *checker, CheckerManager &mgr) argument 393 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument 402 _register(CHECKER *checker, CheckerManager &mgr) argument 410 _evalCall(void *checker, const CallExpr *CE, CheckerContext &C) argument 416 _register(CHECKER *checker, CheckerManager &mgr) argument 453 _register(void *checker, CheckerManager &mgr) argument 470 _register(CHECKER *checker, CheckerManager &mgr) argument 486 _register(CHECKER *checker, CheckerManager &mgr) argument [all...] |