StaticAnalyzer/Core/CheckerManager.cpp

53 // Functions for running checkers for AST traversing..
61   CachedDeclCheckers *checkers = 0;
64     checkers = &(CCI->second);
66     // Find the checkers that should run for this Decl and cache them.
67     checkers = &CachedDeclCheckersMap[DeclKind];
71         checkers->push_back(info.CheckFn);
75   assert(checkers);
77          I = checkers->begin(), E = checkers->end(); I != E; ++I)
90 // Functions for running checkers for path-sensitive checking.
147     CheckStmtContext(bool isPreVisit, const CheckersTy &checkers,
149       : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
165 /// \brief Run checkers for visiting Stmts.
188     CheckObjCMessageContext(bool isPreVisit, const CheckersTy &checkers,
191       : IsPreVisit(isPreVisit), WasInlined(wasInlined), Checkers(checkers),
204 /// \brief Run checkers for visiting obj-c messages.
231     CheckCallContext(bool isPreVisit, const CheckersTy &checkers,
234     : IsPreVisit(isPreVisit), WasInlined(wasInlined), Checkers(checkers),
247 /// \brief Run checkers for visiting an abstract call event.
274     CheckLocationContext(const CheckersTy &checkers,
278       : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx),
295 /// \brief Run checkers for load/store of a location.
321     CheckBindContext(const CheckersTy &checkers,
324       : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
336 /// \brief Run checkers for binding of a value to a location.
353 /// \brief Run checkers for end of path.
361   // We define the builder outside of the loop bacause if at least one checkers
386     CheckBranchConditionContext(const CheckersTy &checkers,
388       : Checkers(checkers), Condition(Cond), Eng(eng) {}
400 /// \brief Run checkers for branch condition.
411 /// \brief Run checkers for live symbols.
430     CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
433       : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) { }
441       // Note, do not pass the statement to the checkers without letting them
449 /// \brief Run checkers for dead symbols.
469 /// \brief Run checkers for region changes.
487 /// \brief Run checkers to process symbol escape event.
508 /// \brief Run checkers for handling assumptions on symbolic values.
522 /// \brief Run checkers for evaluating a call.
552              && "There are more than one checkers evaluating the call");
562     // If none of the checkers evaluated the call, ask ExprEngine to handle it.
570 /// \brief Run checkers for the entire Translation Unit.
700   // Find the checkers that should run for this Stmt and cache them.