StaticAnalyzer/Core/Checker.h

31   static void _checkDecl(void *checker, const Decl *D, AnalysisManager& mgr,
33     ((const CHECKER *)checker)->checkASTDecl(cast<DECL>(D), mgr, BR);
41   static void _register(CHECKER *checker, CheckerManager &mgr) {
42     mgr._registerForDecl(CheckerManager::CheckDeclFunc(checker,
50   static void _checkBody(void *checker, const Decl *D, AnalysisManager& mgr,
52     ((const CHECKER *)checker)->checkASTCodeBody(D, mgr, BR);
57   static void _register(CHECKER *checker, CheckerManager &mgr) {
58     mgr._registerForBody(CheckerManager::CheckDeclFunc(checker,
65   static void _checkEndOfTranslationUnit(void *checker,
69     ((const CHECKER *)checker)->checkEndOfTranslationUnit(TU, mgr, BR);
74   static void _register(CHECKER *checker, CheckerManager &mgr){
76                               CheckerManager::CheckEndOfTranslationUnit(checker,
84   static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
85     ((const CHECKER *)checker)->checkPreStmt(cast<STMT>(S), C);
93   static void _register(CHECKER *checker, CheckerManager &mgr) {
94     mgr._registerForPreStmt(CheckerManager::CheckStmtFunc(checker,
103   static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
104     ((const CHECKER *)checker)->checkPostStmt(cast<STMT>(S), C);
112   static void _register(CHECKER *checker, CheckerManager &mgr) {
113     mgr._registerForPostStmt(CheckerManager::CheckStmtFunc(checker,
121   static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg,
123     ((const CHECKER *)checker)->checkPreObjCMessage(msg, C);
128   static void _register(CHECKER *checker, CheckerManager &mgr) {
130      CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
136   static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg,
138     ((const CHECKER *)checker)->checkObjCMessageNil(msg, C);
143   static void _register(CHECKER *checker, CheckerManager &mgr) {
145      CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
151   static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg,
153     ((const CHECKER *)checker)->checkPostObjCMessage(msg, C);
158   static void _register(CHECKER *checker, CheckerManager &mgr) {
160      CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
166   static void _checkCall(void *checker, const CallEvent &msg,
168     ((const CHECKER *)checker)->checkPreCall(msg, C);
173   static void _register(CHECKER *checker, CheckerManager &mgr) {
175      CheckerManager::CheckCallFunc(checker, _checkCall<CHECKER>));
181   static void _checkCall(void *checker, const CallEvent &msg,
183     ((const CHECKER *)checker)->checkPostCall(msg, C);
188   static void _register(CHECKER *checker, CheckerManager &mgr) {
190      CheckerManager::CheckCallFunc(checker, _checkCall<CHECKER>));
196   static void _checkLocation(void *checker,
199     ((const CHECKER *)checker)->checkLocation(location, isLoad, S, C);
204   static void _register(CHECKER *checker, CheckerManager &mgr) {
206            CheckerManager::CheckLocationFunc(checker, _checkLocation<CHECKER>));
212   static void _checkBind(void *checker,
215     ((const CHECKER *)checker)->checkBind(location, val, S, C);
220   static void _register(CHECKER *checker, CheckerManager &mgr) {
222            CheckerManager::CheckBindFunc(checker, _checkBind<CHECKER>));
228   static void _checkEndAnalysis(void *checker, ExplodedGraph &G,
230     ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
235   static void _register(CHECKER *checker, CheckerManager &mgr) {
237      CheckerManager::CheckEndAnalysisFunc(checker, _checkEndAnalysis<CHECKER>));
243   static void _checkBeginFunction(void *checker, CheckerContext &C) {
244     ((const CHECKER *)checker)->checkBeginFunction(C);
249   static void _register(CHECKER *checker, CheckerManager &mgr) {
251         checker, _checkBeginFunction<CHECKER>));
257   static void _checkEndFunction(void *checker, const ReturnStmt *RS,
259     ((const CHECKER *)checker)->checkEndFunction(RS, C);
264   static void _register(CHECKER *checker, CheckerManager &mgr) {
266      CheckerManager::CheckEndFunctionFunc(checker, _checkEndFunction<CHECKER>));
272   static void _checkBranchCondition(void *checker, const Stmt *Condition,
274     ((const CHECKER *)checker)->checkBranchCondition(Condition, C);
279   static void _register(CHECKER *checker, CheckerManager &mgr) {
281       CheckerManager::CheckBranchConditionFunc(checker,
288   static void _checkNewAllocator(void *checker, const CXXNewExpr *NE,
290     ((const CHECKER *)checker)->checkNewAllocator(NE, Target, C);
295   static void _register(CHECKER *checker, CheckerManager &mgr) {
297         CheckerManager::CheckNewAllocatorFunc(checker,
304   static void _checkLiveSymbols(void *checker, ProgramStateRef state,
306     ((const CHECKER *)checker)->checkLiveSymbols(state, SR);
311   static void _register(CHECKER *checker, CheckerManager &mgr) {
313      CheckerManager::CheckLiveSymbolsFunc(checker, _checkLiveSymbols<CHECKER>));
319   static void _checkDeadSymbols(void *checker,
321     ((const CHECKER *)checker)->checkDeadSymbols(SR, C);
326   static void _register(CHECKER *checker, CheckerManager &mgr) {
328      CheckerManager::CheckDeadSymbolsFunc(checker, _checkDeadSymbols<CHECKER>));
335   _checkRegionChanges(void *checker,
342     return ((const CHECKER *) checker)->checkRegionChanges(state, invalidated,
349   static void _register(CHECKER *checker, CheckerManager &mgr) {
351           CheckerManager::CheckRegionChangesFunc(checker,
392   static void _register(CHECKER *checker, CheckerManager &mgr) {
394           CheckerManager::CheckPointerEscapeFunc(checker,
432   static void _register(CHECKER *checker, CheckerManager &mgr) {
434       CheckerManager::CheckPointerEscapeFunc(checker,
443   static void _checkEvent(void *checker, const void *event) {
444     ((const CHECKER *)checker)->checkEvent(*(const EVENT *)event);
448   static void _register(CHECKER *checker, CheckerManager &mgr) {
450                  CheckerManager::CheckEventFunc(checker, _checkEvent<CHECKER>));
460   static ProgramStateRef _evalAssume(void *checker,
464     return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
469   static void _register(CHECKER *checker, CheckerManager &mgr) {
471                  CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>));
477   static bool _evalCall(void *checker, const CallEvent &Call,
479     return ((const CHECKER *)checker)->evalCall(Call, C);
484   static void _register(CHECKER *checker, CheckerManager &mgr) {
486                      CheckerManager::EvalCallFunc(checker, _evalCall<CHECKER>));
505 /// Dump checker name to stream.
508 /// Tag that can use a checker name as a message provider
520   static void _register(CHECKER *checker, CheckerManager &mgr) {
521     CHECK1::_register(checker, mgr);
522     Checker<CHECKs...>::_register(checker, mgr);
530   static void _register(CHECKER *checker, CheckerManager &mgr) {
531     CHECK1::_register(checker, mgr);
542   static void _register(CHECKER *checker, CheckerManager &mgr) {
544     static_cast<EventDispatcher<EVENT> *>(checker)->Mgr = &mgr;