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 _checkBeginFunction(void *checker, CheckerContext &C) argument 249 _register(CHECKER *checker, CheckerManager &mgr) argument 257 _checkEndFunction(void *checker, const ReturnStmt *RS, CheckerContext &C) argument 264 _register(CHECKER *checker, CheckerManager &mgr) argument 272 _checkBranchCondition(void *checker, const Stmt *Condition, CheckerContext & C) argument 279 _register(CHECKER *checker, CheckerManager &mgr) argument 288 _checkNewAllocator(void *checker, const CXXAllocatorCall &Call, CheckerContext &C) argument 295 _register(CHECKER *checker, CheckerManager &mgr) argument 304 _checkLiveSymbols(void *checker, ProgramStateRef state, SymbolReaper &SR) argument 311 _register(CHECKER *checker, CheckerManager &mgr) argument 319 _checkDeadSymbols(void *checker, SymbolReaper &SR, CheckerContext &C) argument 326 _register(CHECKER *checker, CheckerManager &mgr) argument 335 _checkRegionChanges(void *checker, ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef<const MemRegion *> Explicits, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) argument 349 _register(CHECKER *checker, CheckerManager &mgr) argument 392 _register(CHECKER *checker, CheckerManager &mgr) argument 432 _register(CHECKER *checker, CheckerManager &mgr) argument 443 _checkEvent(void *checker, const void *event) argument 448 _register(CHECKER *checker, CheckerManager &mgr) argument 460 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument 469 _register(CHECKER *checker, CheckerManager &mgr) argument 477 _evalCall(void *checker, const CallEvent &Call, CheckerContext &C) argument 484 _register(CHECKER *checker, CheckerManager &mgr) argument 520 _register(CHECKER *checker, CheckerManager &mgr) argument 530 _register(CHECKER *checker, CheckerManager &mgr) argument 542 _register(CHECKER *checker, CheckerManager &mgr) argument [all...] |