StaticAnalyzer/Core/CheckerManager.cpp

73 // Functions for running checkers for AST traversing..
81   CachedDeclCheckers *checkers = nullptr;
84     checkers = &(CCI->second);
86     // Find the checkers that should run for this Decl and cache them.
87     checkers = &CachedDeclCheckersMap[DeclKind];
90         checkers->push_back(info.CheckFn);
93   assert(checkers);
94   for (const auto &checker : *checkers)
107 // Functions for running checkers for path-sensitive checking.
161     CheckStmtContext(bool isPreVisit, const CheckersTy &checkers,
163         : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
183 /// Run checkers for visiting Stmts.
207                             const CheckersTy &checkers,
210         : Kind(visitKind), WasInlined(wasInlined), Checkers(checkers), Msg(msg),
239 /// Run checkers for visiting obj-c messages.
246   auto &checkers = getObjCMessageCheckers(visitKind);
247   CheckObjCMessageContext C(visitKind, checkers, msg, Eng, WasInlined);
277     CheckCallContext(bool isPreVisit, const CheckersTy &checkers,
280         : IsPreVisit(isPreVisit), WasInlined(wasInlined), Checkers(checkers),
297 /// Run checkers for visiting an abstract call event.
323     CheckLocationContext(const CheckersTy &checkers,
327         : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx),
348 /// Run checkers for load/store of a location.
373     CheckBindContext(const CheckersTy &checkers,
376         : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
392 /// Run checkers for binding of a value to a location.
446 /// Run checkers for end of path.
475     CheckBranchConditionContext(const CheckersTy &checkers,
477         : Checkers(checkers), Condition(Cond), Eng(eng) {}
493 /// Run checkers for branch condition.
542 /// Run checkers for live symbols.
560     CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
563         : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) {}
574       // Note, do not pass the statement to the checkers without letting them
583 /// Run checkers for dead symbols.
594 /// Run checkers for region changes.
613 /// Run checkers to process symbol escape event.
634 /// Run checkers for handling assumptions on symbolic values.
648 /// Run checkers for evaluating a call.
677              && "There are more than one checkers evaluating the call");
687     // If none of the checkers evaluated the call, ask ExprEngine to handle it.
695 /// Run checkers for the entire Translation Unit.
898   // Find the checkers that should run for this Stmt and cache them.