Searched refs:Eng (Results 1 - 20 of 20) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSMTConstraintManager.cpp16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());
H A DCheckerManager.cpp114 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 DCoreEngine.cpp611 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 DProgramState.cpp80 : 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 DRangeConstraintManager.cpp332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
333 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
H A DRegionStore.cpp384 SubEngine &Eng = StateMgr.getOwningEngine(); local
385 AnalyzerOptions &Options = Eng.getAnalysisManager().options;
H A DBugReporter.cpp2385 return Eng.getGraph();
2389 return Eng.getStateManager();
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DLocalCheckers.h22 void RegisterCallInliner(ExprEngine &Eng);
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h24 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 DCoreEngine.h208 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 DProgramState.h460 /// 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 DCheckerManager.h213 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 DChecker.h229 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 DAnalyzerStatsChecker.cpp36 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 DUnreachableCodeChecker.cpp35 ExprEngine &Eng) const;
50 ExprEngine &Eng) const {
53 if (Eng.hasWorkRemaining())
135 CE->isBuiltinAssumeFalse(Eng.getContext())) {
H A DCheckerDocumentation.cpp207 ExprEngine &Eng) const {}
H A DDebugCheckers.cpp306 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
307 Eng.ViewGraph(0);
H A DExprInspectionChecker.cpp60 ExprEngine &Eng) const;
287 ExprEngine &Eng) const {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
H A DAnalysisConsumer.cpp813 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 DBugReporter.h654 ExprEngine& Eng; member in class:clang::ento::final
667 : BugReporter(d), Eng(eng) {}

Completed in 195 milliseconds