/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument 17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
|
H A D | CheckerManager.cpp | 114 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); 158 ExprEngine &Eng; member in struct:__anon875::CheckStmtContext 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; member in struct:__anon876::CheckObjCMessageContext 211 Eng(eng) {} 231 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 244 ExprEngine &Eng, 184 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument 240 runCheckersForObjCMessage(ObjCMessageVisitKind visitKind, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument 275 ExprEngine &Eng; member in struct:__anon877::CheckCallContext 298 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument 321 ExprEngine &Eng; member in struct:__anon878::CheckLocationContext 350 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument 370 ExprEngine &Eng; member in struct:__anon879::CheckBindContext 393 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument 402 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 415 ExprEngine &Eng; member in struct:__anon880::CheckBeginFunctionContext 418 CheckBeginFunctionContext(const CheckersTy &Checkers, ExprEngine &Eng, const ProgramPoint &PP) argument 436 runCheckersForBeginFunction(ExplodedNodeSet &Dst, const BlockEdge &L, ExplodedNode *Pred, ExprEngine &Eng) argument 449 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng, const ReturnStmt *RS) argument 473 ExprEngine &Eng; member in struct:__anon881::CheckBranchConditionContext 494 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument 513 ExprEngine &Eng; member in struct:__anon882::CheckNewAllocatorContext 515 CheckNewAllocatorContext(const CheckersTy &Checkers, const CXXNewExpr *NE, SVal Target, bool WasInlined, ExprEngine &Eng) argument 533 runCheckersForNewAllocator( const CXXNewExpr *NE, SVal Target, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng, bool WasInlined) argument 557 ExprEngine &Eng; member in struct:__anon883::CheckDeadSymbolsContext 584 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument 650 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument [all...] |
H A D | 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 [all...] |
H A D | ProgramState.cpp | 80 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), 192 SubEngine &Eng = Mgr.getOwningEngine(); local 212 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, 218 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated,
|
H A D | RangeConstraintManager.cpp | 332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument 333 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
|
H A D | RegionStore.cpp | 384 SubEngine &Eng = StateMgr.getOwningEngine(); local 385 AnalyzerOptions &Options = Eng.getAnalysisManager().options;
|
H A D | BugReporter.cpp | 2385 return Eng.getGraph(); 2389 return Eng.getStateManager();
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | LocalCheckers.h | 22 void RegisterCallInliner(ExprEngine &Eng);
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 24 ExprEngine &Eng; member in class:clang::ento::CheckerContext 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(); 111 return Eng.getSValBuilder(); 119 return Eng [all...] |
H A D | CoreEngine.h | 208 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext 213 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } 221 return Eng.WList->getBlockCounter().getNumVisited( 478 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder 487 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} 526 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder 534 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {}
|
H A D | ProgramState.h | 460 /// Eng - The SubEngine that owns this state manager. 461 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager 534 SubEngine &getOwningEngine() { return *Eng; }
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 213 ExprEngine &Eng) { 214 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); 226 ExprEngine &Eng, 228 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined); 234 const Stmt *S, ExprEngine &Eng, 241 ExprEngine &Eng) { 242 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng); 249 ExprEngine &Eng, 251 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng, 259 ExprEngine &Eng) { 210 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument 223 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument 238 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument 246 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument 256 runCheckersForObjCMessageNil(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument 272 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument 278 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument [all...] |
H A D | Checker.h | 229 BugReporter &BR, ExprEngine &Eng) { 230 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); 228 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | 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();
|
H A D | UnreachableCodeChecker.cpp | 35 ExprEngine &Eng) const; 50 ExprEngine &Eng) const { 53 if (Eng.hasWorkRemaining()) 135 CE->isBuiltinAssumeFalse(Eng.getContext())) {
|
H A D | CheckerDocumentation.cpp | 207 ExprEngine &Eng) const {}
|
H A D | DebugCheckers.cpp | 306 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { 307 Eng.ViewGraph(0);
|
H A D | ExprInspectionChecker.cpp | 60 ExprEngine &Eng) const; 287 ExprEngine &Eng) const {
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
H A D | AnalysisConsumer.cpp | 813 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); 818 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), 824 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); 828 Eng.ViewGraph(Mgr->options.TrimGraph); 833 Eng.getBugReporter().FlushReports();
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 654 ExprEngine& Eng; member in class:clang::ento::final 667 : BugReporter(d), Eng(eng) {}
|