| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 158 ExprEngine &Eng; member
204 ExprEngine &Eng; member
211 Eng(eng) {} in CheckObjCMessageContext()
275 ExprEngine &Eng; member
321 ExprEngine &Eng; member
370 ExprEngine &Eng; member
415 ExprEngine &Eng; member
420 : Checkers(Checkers), Eng(Eng), PP(PP) {} in CheckBeginFunctionContext()
473 ExprEngine &Eng; member
512 ExprEngine &Eng; member
[all …]
|
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager() argument
16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
|
| H A D | CoreEngine.cpp | 641 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()
642 N->addPredecessor(FromN, C.Eng.G); in generateNodeImpl()
683 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
685 Succ->addPredecessor(Pred, Eng.G); in generateNode()
691 Eng.WList->enqueue(Succ); in generateNode()
701 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
703 Succ->addPredecessor(Pred, Eng.G); in generateCaseStmtNode()
707 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
725 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
727 Succ->addPredecessor(Pred, Eng.G); in generateDefaultCaseNode()
[all …]
|
| H A D | ProgramState.cpp | 76 : Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl() local
208 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
214 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
|
| H A D | RegionStore.cpp | 368 ExprEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager() local
369 AnalyzerOptions &Options = Eng.getAnalysisManager().options; in RegionStoreManager()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 251 ExprEngine &Eng) { in runCheckersForPreStmt() argument
264 ExprEngine &Eng,
279 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
287 ExprEngine &Eng,
297 ExprEngine &Eng) { in runCheckersForObjCMessageNil() argument
299 Eng); in runCheckersForObjCMessageNil()
336 ExprEngine &Eng);
347 ExprEngine &Eng);
353 ExprEngine &Eng);
359 ExprEngine &Eng,
[all …]
|
| H A D | Checker.h | 229 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis() argument
230 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); in _checkEndAnalysis()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 24 ExprEngine &Eng; variable
45 : Eng(eng), in Eng() function
56 return Eng.getAnalysisManager(); in getAnalysisManager()
60 return Eng.getConstraintManager(); in getConstraintManager()
64 return Eng.getStoreManager(); in getStoreManager()
84 return Eng.getContext(); in getASTContext()
90 return Eng.getContext().getLangOpts(); in getLangOpts()
105 return Eng.getBugReporter(); in getBugReporter()
115 return Eng.getSValBuilder(); in getSValBuilder()
123 return Eng.getStateManager(); in getStateManager()
[all …]
|
| H A D | CoreEngine.h | 213 const CoreEngine &Eng; member
218 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
226 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
485 CoreEngine& Eng; variable
494 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} in IndirectGotoNodeBuilder()
533 CoreEngine& Eng; variable
541 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {} in SwitchNodeBuilder()
|
| H A D | ProgramState.h | 506 ExprEngine *Eng; /* Can be null. */
579 ExprEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 27 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest()
31 const FieldRegion *FR = Eng.getRegionManager().getFieldRegion(FD, VR); in performTest()
36 Eng.getSymbolManager(), Eng.getStoreManager()); in performTest()
|
| H A D | StoreTest.cpp | 44 StoreManager &SManager = Eng.getStoreManager(); in performTest()
45 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
47 const ASTContext &ASTCtxt = Eng.getContext(); in performTest()
58 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
112 StoreManager &SManager = Eng.getStoreManager(); in performTest()
113 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
115 ASTContext &ASTCtxt = Eng.getContext(); in performTest()
122 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
|
| H A D | ParamRegionTest.cpp | 29 StoreManager &StMgr = Eng.getStoreManager(); in performTest()
32 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
|
| H A D | Reusables.h | 56 ExprEngine Eng;
67 Eng(CTU, AMgr, &VisitedCallees, &FS, ExprEngine::Inline_Regular) {} in ExprEngineConsumer()
|
| H A D | CallDescriptionTest.cpp | 72 Eng.getAnalysisDeclContextManager().getStackFrame(D); in performTest()
73 const ProgramStateRef State = Eng.getInitialState(SFC); in performTest()
90 CallEventManager &CEMgr = Eng.getStateManager().getCallEventManager(); in performTest()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 36 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
42 ExprEngine &Eng) const { in checkEndAnalysis()
109 << (Eng.wasBlocksExhausted() ? "yes" : "no") in checkEndAnalysis()
111 << (Eng.hasEmptyWorkList() ? "yes" : "no"); in checkEndAnalysis()
118 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 35 ExprEngine &Eng) const;
50 ExprEngine &Eng) const { in checkEndAnalysis()
53 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
135 CE->isBuiltinAssumeFalse(Eng.getContext())) { in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 304 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
305 Eng.ViewGraph(false); in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 207 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 176 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 73 ExprEngine &Eng) const;
415 ExprEngine &Eng) const { in checkEndAnalysis()
|
| /llvm-project-15.0.7/clang/test/SemaTemplate/ |
| H A 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()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | LocalCheckers.h | 22 void RegisterCallInliner(ExprEngine &Eng);
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 720 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); in RunPathSensitiveChecks() local
728 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), in RunPathSensitiveChecks()
738 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
742 Eng.ViewGraph(Mgr->options.TrimGraph); in RunPathSensitiveChecks()
747 Eng.getBugReporter().FlushReports(); in RunPathSensitiveChecks()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 665 ExprEngine& Eng; variable
678 : BugReporter(d), Eng(eng) {} in PathSensitiveBugReporter()
|