StaticAnalyzer/Core/CheckerManager.cpp

97   const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
141     ExprEngine &Eng;
149       : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
159       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
170                                         ExprEngine &Eng,
173                      S, Eng, WasInlined);
185     ExprEngine &Eng;
195         Msg(msg), Eng(eng) { }
213       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
225                                                ExprEngine &Eng,
228   CheckObjCMessageContext C(visitKind, checkers, msg, Eng, WasInlined);
253     ExprEngine &Eng;
262       Call(call), Eng(eng) { }
267       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
279                                              ExprEngine &Eng,
284                      Call, Eng, WasInlined);
296     ExprEngine &Eng;
306         BoundEx(BoundEx), Eng(eng) {}
316       CheckerContext C(Bldr, Eng, Pred, L);
329                                             ExprEngine &Eng) {
331                          BoundEx, Eng);
342     ExprEngine &Eng;
351       : Checkers(checkers), Loc(loc), Val(val), S(s), Eng(eng), PP(pp) {}
356       CheckerContext C(Bldr, Eng, Pred, L);
367                                         const Stmt *S, ExprEngine &Eng,
369   CheckBindContext C(BindCheckers, location, val, S, Eng, PP);
375                                                ExprEngine &Eng) {
377     EndAnalysisCheckers[i](G, BR, Eng);
386                                                ExprEngine &Eng) {
398     CheckerContext C(Bldr, Eng, Pred, L);
408     ExprEngine &Eng;
415       : Checkers(checkers), Condition(Cond), Eng(eng) {}
421       CheckerContext C(Bldr, Eng, Pred, L);
431                                                    ExprEngine &Eng) {
434   CheckBranchConditionContext C(BranchConditionCheckers, Condition, Eng);
451     ExprEngine &Eng;
460       : Checkers(checkers), SR(sr), S(s), Eng(eng), ProgarmPointKind(K) { }
466       CheckerContext C(Bldr, Eng, Pred, L);
481                                                ExprEngine &Eng,
483   CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
554                                             ExprEngine &Eng) {
562     NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
575         CheckerContext C(B, Eng, Pred, L);
591       NodeBuilder B(Pred, Dst, Eng.getBuilderContext());
592       Eng.defaultEvalCall(B, Pred, Call);