| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) {
17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
|
| CheckerManager.cpp | 114 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
158 ExprEngine &Eng;
162 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
163 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
176 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
188 ExprEngine &Eng,
191 S, Eng, WasInlined);
204 ExprEngine &Eng;
208 const ObjCMethodCall &msg, ExprEngine &eng,
[all...] |
| CoreEngine.cpp | 611 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);
612 N->addPredecessor(FromN, C.Eng.G);
653 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),
655 Succ->addPredecessor(Pred, Eng.G);
661 Eng.WList->enqueue(Succ);
671 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),
673 Succ->addPredecessor(Pred, Eng.G);
677 Eng.WList->enqueue(Succ);
695 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()),
697 Succ->addPredecessor(Pred, Eng.G)
[all...] |
| ProgramState.cpp | 80 : Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc),
192 ExprEngine &Eng = Mgr.getOwningEngine();
212 newState = Eng.notifyCheckersOfPointerEscape(newState, IS,
218 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated,
|
| RangeConstraintManager.cpp | 1566 ExprEngine *Eng) {
1567 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
|
| RegionStore.cpp | 384 ExprEngine &Eng = StateMgr.getOwningEngine();
385 AnalyzerOptions &Options = Eng.getAnalysisManager().options;
|
| BugReporter.cpp | 2433 return Eng.getGraph();
2437 return Eng.getStateManager();
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Checkers/ |
| LocalCheckers.h | 22 void RegisterCallInliner(ExprEngine &Eng);
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 24 ExprEngine &Eng;
41 ExprEngine &eng,
45 : Eng(eng),
56 return Eng.getAnalysisManager();
60 return Eng.getConstraintManager();
64 return Eng.getStoreManager();
84 return Eng.getContext();
88 return Eng.getContext().getLangOpts();
103 return Eng.getBugReporter()
[all...] |
| CoreEngine.h | 208 const CoreEngine &Eng;
213 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
221 return Eng.WList->getBlockCounter().getNumVisited(
478 CoreEngine& Eng;
486 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
487 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
526 CoreEngine& Eng;
533 const Expr *condition, CoreEngine* eng)
534 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {
[all...] |
| ProgramState.h | 467 /// Eng - The ExprEngine that owns this state manager.
468 ExprEngine *Eng; /* Can be null. */
541 ExprEngine &getOwningEngine() { return *Eng; }
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 252 ExprEngine &Eng) {
253 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
265 ExprEngine &Eng,
267 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
273 const Stmt *S, ExprEngine &Eng,
280 ExprEngine &Eng) {
281 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng);
288 ExprEngine &Eng,
290 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng,
298 ExprEngine &Eng) {
[all...] |
| Checker.h | 229 BugReporter &BR, ExprEngine &Eng) {
230 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 36 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
42 ExprEngine &Eng) const {
110 << (Eng.wasBlocksExhausted() ? "yes" : "no")
112 << (Eng.hasEmptyWorkList() ? "yes" : "no");
119 const CoreEngine &CE = Eng.getCoreEngine();
|
| UnreachableCodeChecker.cpp | 35 ExprEngine &Eng) const;
50 ExprEngine &Eng) const {
53 if (Eng.hasWorkRemaining())
135 CE->isBuiltinAssumeFalse(Eng.getContext())) {
|
| CheckerDocumentation.cpp | 207 ExprEngine &Eng) const {}
|
| DebugCheckers.cpp | 304 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
305 Eng.ViewGraph(0);
|
| AnalysisOrderChecker.cpp | 176 ExprEngine &Eng) const {
|
| ExprInspectionChecker.cpp | 70 ExprEngine &Eng) const;
372 ExprEngine &Eng) const {
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Frontend/ |
| AnalysisConsumer.cpp | 704 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode);
709 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D),
715 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo);
719 Eng.ViewGraph(Mgr->options.TrimGraph);
724 Eng.getBugReporter().FlushReports();
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 658 ExprEngine& Eng;
670 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng)
671 : BugReporter(d), Eng(eng) {}
|
