| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 129 ExprEngine &Eng; member
136 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng) { } in CheckStmtContext()
141 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker, in runChecker()
154 ExprEngine &Eng) { in runCheckersForStmt() argument
156 S, Eng); in runCheckersForStmt()
166 ExprEngine &Eng; member
173 : IsPreVisit(isPreVisit), Checkers(checkers), Msg(msg), Eng(eng) { } in CheckObjCMessageContext()
177 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, checkFn.Checker, in runChecker()
191 ExprEngine &Eng) { in runCheckersForObjCMessage() argument
195 msg, Eng); in runCheckersForObjCMessage()
[all …]
|
| D | CoreEngine.cpp | 489 : Eng(*e), B(*b), Idx(idx), Pred(N), Mgr(mgr), in StmtNodeBuilder()
509 Eng.WList->enqueue(N, &B, Idx); in GenerateAutoTransition()
515 Eng.WList->enqueue(N, &B, Idx+1); in GenerateAutoTransition()
524 Eng.WList->enqueue(N, &B, Idx+1); in GenerateAutoTransition()
529 ExplodedNode* Succ = Eng.G->getNode(Loc, N->State, &IsNew); in GenerateAutoTransition()
530 Succ->addPredecessor(N, *Eng.G); in GenerateAutoTransition()
533 Eng.WList->enqueue(Succ, &B, Idx+1); in GenerateAutoTransition()
591 ExplodedNode* N = Eng.G->getNode(Loc, State, &IsNew); in generateNodeInternal()
592 N->addPredecessor(Pred, *Eng.G); in generateNodeInternal()
609 = Eng.G->getNode(PostCondition(Condition, Pred->getLocationContext()), State, in generateNode()
[all …]
|
| D | AggExprVisitor.cpp | 33 ExprEngine &Eng; member in __anonc811be320111::AggExprVisitor
38 : Dest(dest), Pred(N), DstSet(dst), Eng(eng) {} in AggExprVisitor()
59 Eng.VisitCXXConstructExpr(E, Dest, Pred, DstSet); in VisitCXXConstructExpr()
63 Eng.Visit(E, Pred, DstSet); in VisitCXXMemberCallExpr()
|
| D | CFRefCount.cpp | 1705 ExprEngine &Eng,
1718 void RegisterChecks(ExprEngine &Eng);
1737 ExprEngine& Eng,
1747 ExprEngine& Eng,
1776 ExplodedNode* Pred, ExprEngine &Eng,
2005 ExprEngine& Eng);
2473 SymbolRef sym, ExprEngine& Eng) in CFRefLeakReport() argument
2487 GetAllocationSite(Eng.getStateManager(), getErrorNode(), getSymbol()); in CFRefLeakReport()
2496 SourceManager& SMgr = Eng.getContext().getSourceManager(); in CFRefLeakReport()
2557 ExprEngine& Eng, in evalSummary() argument
[all …]
|
| D | GRState.cpp | 159 SubEngine* Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl() local
161 if (Eng && Eng->wantsRegionChangeUpdate(this)) { in invalidateRegionsImpl()
167 return Eng->processRegionChanges(newState, &IS, in invalidateRegionsImpl()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CheckerContext.h | 28 ExprEngine &Eng; variable
45 : Dst(dst), B(builder), Eng(eng), Pred(pred), in Dst()
56 return Eng; in getEngine()
60 return Eng.getAnalysisManager(); in getAnalysisManager()
64 return Eng.getConstraintManager(); in getConstraintManager()
68 return Eng.getStoreManager(); in getStoreManager()
78 return Eng.getContext(); in getASTContext()
82 return Eng.getBugReporter(); in getBugReporter()
90 return Eng.getSValBuilder(); in getSValBuilder()
158 Eng.getBugReporter().EmitReport(R); in EmitReport()
|
| D | CoreEngine.h | 162 CoreEngine& Eng; variable
192 WorkList *getWorkList() { return Eng.WList; } in getWorkList()
198 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter();} in getBlockCounter()
281 CoreEngine& Eng; variable
298 : Eng(*e), Src(src), DstT(dstT), DstF(dstF), Pred(pred), in BranchNodeBuilder()
306 const ExplodedGraph& getGraph() const { return *Eng.G; } in getGraph()
308 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter();} in getBlockCounter()
335 CoreEngine& Eng; variable
344 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} in IndirectGotoNodeBuilder()
377 CoreEngine& Eng; variable
[all …]
|
| D | ExprEngineBuilders.h | 27 ExprEngine& Eng; variable
48 : Dst(dst), B(builder), Eng(eng), Pred(pred), in StmtNodeBuilderRef()
68 return Eng.getStateManager(); in getStateManager()
|
| D | TransferFuncs.h | 40 virtual void RegisterChecks(ExprEngine& Eng) {} in RegisterChecks() argument
|
| D | GRState.h | 421 SubEngine *Eng; /* Can be null. */
459 : Eng(&subeng), in GRStateManager()
472 : Eng(0), in GRStateManager()
517 SubEngine* getOwningEngine() { return Eng; } in getOwningEngine()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StackAddrEscapeChecker.cpp | 34 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
135 ExprEngine &Eng) const { in checkEndPath()
143 ExprEngine &Eng; in checkEndPath() member in StackAddrEscapeChecker::checkEndPath::CallBack
148 CallBack(ExprEngine &Eng, const LocationContext *LCtx) in checkEndPath() argument
149 : Eng(Eng), CurSFC(LCtx->getCurrentStackFrame()) {} in checkEndPath()
163 if (Eng.getContext().getLangOptions().ObjCAutoRefCount && in checkEndPath()
179 CallBack cb(Eng, B.getPredecessor()->getLocationContext()); in checkEndPath()
202 Eng.getContext().getSourceManager()); in checkEndPath()
211 Eng.getBugReporter().EmitReport(report); in checkEndPath()
|
| D | AnalyzerStatsChecker.cpp | 28 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
34 ExprEngine &Eng) const { in checkEndAnalysis()
92 << (Eng.wasBlocksExhausted() ? "yes" : "no") in checkEndAnalysis()
94 << (Eng.hasEmptyWorkList() ? "yes" : "no"); in checkEndAnalysis()
101 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| D | UndefBranchChecker.cpp | 54 ExprEngine &Eng) const;
61 ExprEngine &Eng) const { in checkBranchCondition()
98 FindUndefExpr FindIt(Eng.getStateManager(), St); in checkBranchCondition()
106 Eng.getBugReporter().EmitReport(R); in checkBranchCondition()
|
| D | UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const { in checkEndAnalysis()
58 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
|
| D | IdempotentOperationChecker.cpp | 74 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
346 ExprEngine &Eng) const { in checkEndAnalysis()
364 if (Eng.hasWorkRemaining()) { in checkEndAnalysis()
368 Eng.getCoreEngine())) in checkEndAnalysis()
|
| D | StreamChecker.cpp | 78 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
422 ExprEngine &Eng) const { in checkEndPath()
437 Eng.getBugReporter().EmitReport(R); in checkEndPath()
|
| D | MallocChecker.cpp | 81 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
602 ExprEngine &Eng) const { in checkEndPath()
615 Eng.getBugReporter().EmitReport(R); in checkEndPath()
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 163 ExprEngine &Eng) { in runCheckersForPreStmt() argument
164 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); in runCheckersForPreStmt()
171 ExprEngine &Eng) { in runCheckersForPostStmt() argument
172 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng); in runCheckersForPostStmt()
178 const Stmt *S, ExprEngine &Eng);
184 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
185 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng); in runCheckersForPreObjCMessage()
192 ExprEngine &Eng) { in runCheckersForPostObjCMessage() argument
193 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng); in runCheckersForPostObjCMessage()
200 const ObjCMessage &msg, ExprEngine &Eng);
[all …]
|
| D | Checker.h | 185 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis() argument
186 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); in _checkEndAnalysis()
200 ExprEngine &Eng) { in _checkEndPath() argument
201 ((const CHECKER *)checker)->checkEndPath(B, Eng); in _checkEndPath()
215 BranchNodeBuilder &B, ExprEngine &Eng) { in _checkBranchCondition() argument
216 ((const CHECKER *)checker)->checkBranchCondition(condition, B, Eng); in _checkBranchCondition()
|
| /external/clang/test/SemaTemplate/ |
| D | instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) { in f() argument
26 …Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function templ… in f()
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | DereferenceChecker.h | 29 GetImplicitNullDereferences(ExprEngine &Eng);
|
| D | LocalCheckers.h | 42 void RegisterCallInliner(ExprEngine &Eng);
|
| /external/clang/examples/wpa/ |
| D | clang-wpa.cpp | 176 ExprEngine Eng(AMgr, TF); in main() local
178 Eng.ExecuteWorkList(AMgr.getStackFrame(FD, TU), AMgr.getMaxNodes()); in main()
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| D | AnalysisConsumer.cpp | 309 ExprEngine Eng(mgr, TF.take()); in ActionExprEngine() local
319 Eng.ExecuteWorkList(mgr.getStackFrame(D, 0), mgr.getMaxNodes()); in ActionExprEngine()
327 Eng.ViewGraph(mgr.shouldTrimGraph()); in ActionExprEngine()
330 Eng.getBugReporter().FlushReports(); in ActionExprEngine()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 377 ExprEngine& Eng; variable
381 : BugReporter(d, GRBugReporterKind), Eng(eng) {} in GRBugReporter()
387 ExprEngine &getEngine() { return Eng; } in getEngine()
|