| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 99 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); in expandGraphWithCheckers()
150 ExprEngine &Eng; member
155 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng), in CheckStmtContext()
169 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
181 ExprEngine &Eng, in runCheckersForStmt() argument
184 S, Eng, WasInlined); in runCheckersForStmt()
200 ExprEngine &Eng; member
207 Eng(eng) {} in CheckObjCMessageContext()
229 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
242 ExprEngine &Eng, in runCheckersForObjCMessage() argument
[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 | 738 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
740 Succ->addPredecessor(Pred, Eng.G); in generateNode()
746 Eng.WList->enqueue(Succ); in generateNode()
756 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
758 Succ->addPredecessor(Pred, Eng.G); in generateCaseStmtNode()
762 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
780 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
782 Succ->addPredecessor(Pred, Eng.G); in generateDefaultCaseNode()
788 Eng.WList->enqueue(Succ); in generateDefaultCaseNode()
|
| H A D | ProgramState.cpp | 76 : Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
118 ExprEngine &Eng = Mgr.getOwningEngine(); in bindLoc() local
123 return Eng.processRegionChange(State, MR, LCtx); in bindLoc()
170 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegions() local
189 NewState = Eng.notifyCheckersOfPointerEscape( in invalidateRegions()
193 return Eng.processRegionChanges(NewState, IS, TopLevelInvalidated, in invalidateRegions()
440 ExprEngine &Eng = getStateManager().getOwningEngine(); in makeWithStore() local
448 return Eng.escapeValues(State, BindRes.FailedToBindValues, PSK_EscapeOnBind); in makeWithStore()
|
| H A D | BugReporter.cpp | 2520 return Eng.getGraph(); in getGraph()
2524 return Eng.getStateManager(); in getStateManager()
|
| H A D | RangeConstraintManager.cpp | 2276 ExprEngine *Eng) { in CreateRangeConstraintManager() argument
2277 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 253 ExprEngine &Eng) { in runCheckersForPreStmt() argument
254 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); in runCheckersForPreStmt()
266 ExprEngine &Eng,
268 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
274 const Stmt *S, ExprEngine &Eng,
281 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
282 runCheckersForObjCMessage(ObjCMessageVisitKind::Pre, Dst, Src, msg, Eng); in runCheckersForPreObjCMessage()
289 ExprEngine &Eng,
291 runCheckersForObjCMessage(ObjCMessageVisitKind::Post, Dst, Src, msg, Eng,
299 ExprEngine &Eng) { in runCheckersForObjCMessageNil() argument
[all …]
|
| H A D | Checker.h | 243 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis() argument
244 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); in _checkEndAnalysis()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 25 ExprEngine &Eng; variable
46 : Eng(eng), in Eng() function
59 return Eng.getAnalysisManager(); in getAnalysisManager()
63 return Eng.getConstraintManager(); in getConstraintManager()
67 return Eng.getStoreManager(); in getStoreManager()
88 return Eng.getContext(); in getASTContext()
91 const ASTContext &getASTContext() const { return Eng.getContext(); } in getASTContext()
94 return Eng.getContext().getLangOpts(); in getLangOpts()
109 return Eng.getBugReporter(); in getBugReporter()
119 return Eng.getSValBuilder(); in getSValBuilder()
[all …]
|
| H A D | CoreEngine.h | 199 const CoreEngine &Eng; variable
206 : Eng(E), Block(B), LC(L) { in NodeBuilderContext()
214 const CoreEngine &getEngine() const { return Eng; } in getEngine()
225 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
464 CoreEngine& Eng; variable
473 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} in IndirectGotoNodeBuilder()
517 CoreEngine& Eng; variable
525 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {} in SwitchNodeBuilder()
|
| H A D | ProgramState.h | 503 ExprEngine *Eng; /* Can be null. */
576 ExprEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
|
| /freebsd/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 { in checkEndAnalysis()
47 const LocationContext *LC = Eng.getRootLocationContext(); in checkEndAnalysis()
106 << (Eng.wasBlocksExhausted() ? "yes" : "no") in checkEndAnalysis()
108 << (Eng.hasEmptyWorkList() ? "yes" : "no"); in checkEndAnalysis()
114 const CoreEngine &CE = Eng.getCoreEngine(); in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
54 if (Eng.hasWorkRemaining()) in checkEndAnalysis()
134 CE->isBuiltinAssumeFalse(Eng.getContext())) { in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 246 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 175 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 74 ExprEngine &Eng) const;
413 ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 760 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); in RunPathSensitiveChecks() local
768 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), in RunPathSensitiveChecks()
778 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
782 Eng.ViewGraph(Mgr->options.TrimGraph); in RunPathSensitiveChecks()
784 flushReports(BugReporterTimer.get(), Eng.getBugReporter()); in RunPathSensitiveChecks()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 684 ExprEngine& Eng; variable
698 : BugReporter(d), Eng(eng) {} in PathSensitiveBugReporter()
|
| /freebsd/contrib/ntp/html/hints/ |
| H A D | solaris.xtra.4095849 | 19 satish.mynam@Eng 1998-04-30
|
| /freebsd/contrib/sendmail/src/ |
| H A D | README | 990 Rod.Evans@Eng.Sun.COM:
|
| /freebsd/share/misc/ |
| H A D | usb_vendors | 11237 07cc Carry Computer Eng., Co., Ltd
|
| H A D | pci_vendors | 16501 11a3 Deuretzbacher GmbH & Co. Eng. KG
16503 11a5 Microunity Systems Eng. Inc
|