Cross Reference: /external/clang/include/clang/StaticAnalyzer/Core/Checker.h

Lines Matching refs:checker
29   static void _register(void *checker, CheckerManager &mgr) { }
35   static void _checkDecl(void *checker, const Decl *D, AnalysisManager& mgr,
37     ((const CHECKER *)checker)->checkASTDecl(cast<DECL>(D), mgr, BR);
45   static void _register(CHECKER *checker, CheckerManager &mgr) {
46     mgr._registerForDecl(CheckerManager::CheckDeclFunc(checker,
54   static void _checkBody(void *checker, const Decl *D, AnalysisManager& mgr,
56     ((const CHECKER *)checker)->checkASTCodeBody(D, mgr, BR);
61   static void _register(CHECKER *checker, CheckerManager &mgr) {
62     mgr._registerForBody(CheckerManager::CheckDeclFunc(checker,
69   static void _checkEndOfTranslationUnit(void *checker,
73     ((const CHECKER *)checker)->checkEndOfTranslationUnit(TU, mgr, BR);
78   static void _register(CHECKER *checker, CheckerManager &mgr){
80                               CheckerManager::CheckEndOfTranslationUnit(checker,
88   static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
89     ((const CHECKER *)checker)->checkPreStmt(cast<STMT>(S), C);
97   static void _register(CHECKER *checker, CheckerManager &mgr) {
98     mgr._registerForPreStmt(CheckerManager::CheckStmtFunc(checker,
107   static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
108     ((const CHECKER *)checker)->checkPostStmt(cast<STMT>(S), C);
116   static void _register(CHECKER *checker, CheckerManager &mgr) {
117     mgr._registerForPostStmt(CheckerManager::CheckStmtFunc(checker,
125   static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg,
127     ((const CHECKER *)checker)->checkPreObjCMessage(msg, C);
132   static void _register(CHECKER *checker, CheckerManager &mgr) {
134      CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
140   static void _checkObjCMessage(void *checker, const ObjCMethodCall &msg,
142     ((const CHECKER *)checker)->checkPostObjCMessage(msg, C);
147   static void _register(CHECKER *checker, CheckerManager &mgr) {
149      CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
155   static void _checkCall(void *checker, const CallEvent &msg,
157     ((const CHECKER *)checker)->checkPreCall(msg, C);
162   static void _register(CHECKER *checker, CheckerManager &mgr) {
164      CheckerManager::CheckCallFunc(checker, _checkCall<CHECKER>));
170   static void _checkCall(void *checker, const CallEvent &msg,
172     ((const CHECKER *)checker)->checkPostCall(msg, C);
177   static void _register(CHECKER *checker, CheckerManager &mgr) {
179      CheckerManager::CheckCallFunc(checker, _checkCall<CHECKER>));
185   static void _checkLocation(void *checker,
188     ((const CHECKER *)checker)->checkLocation(location, isLoad, S, C);
193   static void _register(CHECKER *checker, CheckerManager &mgr) {
195            CheckerManager::CheckLocationFunc(checker, _checkLocation<CHECKER>));
201   static void _checkBind(void *checker,
204     ((const CHECKER *)checker)->checkBind(location, val, S, C);
209   static void _register(CHECKER *checker, CheckerManager &mgr) {
211            CheckerManager::CheckBindFunc(checker, _checkBind<CHECKER>));
217   static void _checkEndAnalysis(void *checker, ExplodedGraph &G,
219     ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
224   static void _register(CHECKER *checker, CheckerManager &mgr) {
226      CheckerManager::CheckEndAnalysisFunc(checker, _checkEndAnalysis<CHECKER>));
232   static void _checkEndFunction(void *checker,
234     ((const CHECKER *)checker)->checkEndFunction(C);
239   static void _register(CHECKER *checker, CheckerManager &mgr) {
241      CheckerManager::CheckEndFunctionFunc(checker, _checkEndFunction<CHECKER>));
247   static void _checkBranchCondition(void *checker, const Stmt *Condition,
249     ((const CHECKER *)checker)->checkBranchCondition(Condition, C);
254   static void _register(CHECKER *checker, CheckerManager &mgr) {
256       CheckerManager::CheckBranchConditionFunc(checker,
263   static void _checkLiveSymbols(void *checker, ProgramStateRef state,
265     ((const CHECKER *)checker)->checkLiveSymbols(state, SR);
270   static void _register(CHECKER *checker, CheckerManager &mgr) {
272      CheckerManager::CheckLiveSymbolsFunc(checker, _checkLiveSymbols<CHECKER>));
278   static void _checkDeadSymbols(void *checker,
280     ((const CHECKER *)checker)->checkDeadSymbols(SR, C);
285   static void _register(CHECKER *checker, CheckerManager &mgr) {
287      CheckerManager::CheckDeadSymbolsFunc(checker, _checkDeadSymbols<CHECKER>));
294   _checkRegionChanges(void *checker,
300     return ((const CHECKER *)checker)->checkRegionChanges(state, invalidated,
304   static bool _wantsRegionChangeUpdate(void *checker,
306     return ((const CHECKER *)checker)->wantsRegionChangeUpdate(state);
311   static void _register(CHECKER *checker, CheckerManager &mgr) {
313           CheckerManager::CheckRegionChangesFunc(checker,
315           CheckerManager::WantsRegionChangeUpdateFunc(checker,
356   static void _register(CHECKER *checker, CheckerManager &mgr) {
358           CheckerManager::CheckPointerEscapeFunc(checker,
396   static void _register(CHECKER *checker, CheckerManager &mgr) {
398       CheckerManager::CheckPointerEscapeFunc(checker,
407   static void _checkEvent(void *checker, const void *event) {
408     ((const CHECKER *)checker)->checkEvent(*(const EVENT *)event);
412   static void _register(CHECKER *checker, CheckerManager &mgr) {
414                  CheckerManager::CheckEventFunc(checker, _checkEvent<CHECKER>));
424   static ProgramStateRef _evalAssume(void *checker,
428     return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
433   static void _register(CHECKER *checker, CheckerManager &mgr) {
435                  CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>));
441   static bool _evalCall(void *checker, const CallExpr *CE, CheckerContext &C) {
442     return ((const CHECKER *)checker)->evalCall(CE, C);
447   static void _register(CHECKER *checker, CheckerManager &mgr) {
449                      CheckerManager::EvalCallFunc(checker, _evalCall<CHECKER>));
468 /// Dump checker name to stream.
471 /// Tag that can use a checker name as a message provider 
499   static void _register(void *checker, CheckerManager &mgr) { }
516   static void _register(CHECKER *checker, CheckerManager &mgr) {
517     CHECK1::_register(checker, mgr);
521             CHECK20,CHECK21,CHECK22,CHECK23,CHECK24>::_register(checker, mgr);
532   static void _register(CHECKER *checker, CheckerManager &mgr) {
534     static_cast<EventDispatcher<EVENT> *>(checker)->Mgr = &mgr;