| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 148 ExprEngine &Eng; member
194 ExprEngine &Eng; member
201 Eng(eng) {} in CheckObjCMessageContext()
265 ExprEngine &Eng; member
311 ExprEngine &Eng; member
360 ExprEngine &Eng; member
405 ExprEngine &Eng; member
410 : Checkers(Checkers), Eng(Eng), PP(PP) {} in CheckBeginFunctionContext()
463 ExprEngine &Eng; member
503 ExprEngine &Eng; member
[all …]
|
| H A D | CoreEngine.cpp | 560 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew); in generateNodeImpl()
561 N->addPredecessor(FromN, C.Eng.G); in generateNodeImpl()
602 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateNode()
604 Succ->addPredecessor(Pred, Eng.G); in generateNode()
610 Eng.WList->enqueue(Succ); in generateNode()
620 Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()), in generateCaseStmtNode()
622 Succ->addPredecessor(Pred, Eng.G); in generateCaseStmtNode()
626 Eng.WList->enqueue(Succ); in generateCaseStmtNode()
644 Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()), in generateDefaultCaseNode()
646 Succ->addPredecessor(Pred, Eng.G); in generateDefaultCaseNode()
[all …]
|
| H A D | ProgramState.cpp | 81 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), in ProgramStateManager()
195 SubEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl() local
215 newState = Eng.notifyCheckersOfPointerEscape(newState, IS, in invalidateRegionsImpl()
221 return Eng.processRegionChanges(newState, IS, TopLevelInvalidated, in invalidateRegionsImpl()
|
| H A D | RangeConstraintManager.cpp | 311 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument
312 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
|
| H A D | Z3ConstraintManager.cpp | 832 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateZ3ConstraintManager() argument
834 return llvm::make_unique<Z3ConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
|
| H A D | RegionStore.cpp | 350 SubEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager() local
351 AnalyzerOptions &Options = Eng.getAnalysisManager().options; in RegionStoreManager()
|
| H A D | BugReporter.cpp | 2234 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph()
2237 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 193 ExprEngine &Eng) { in runCheckersForPreStmt() argument
206 ExprEngine &Eng,
221 ExprEngine &Eng) { in runCheckersForPreObjCMessage() argument
229 ExprEngine &Eng,
241 Eng); in runCheckersForObjCMessageNil()
278 ExprEngine &Eng);
289 ExprEngine &Eng);
295 ExprEngine &Eng);
301 ExprEngine &Eng,
313 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()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 25 ExprEngine &Eng; variable
46 : Eng(eng), in Eng() function
57 return Eng.getAnalysisManager(); in getAnalysisManager()
61 return Eng.getConstraintManager(); in getConstraintManager()
65 return Eng.getStoreManager(); in getStoreManager()
85 return Eng.getContext(); in getASTContext()
89 return Eng.getContext().getLangOpts(); in getLangOpts()
104 return Eng.getBugReporter(); in getBugReporter()
112 return Eng.getSValBuilder(); in getSValBuilder()
120 return Eng.getStateManager(); in getStateManager()
[all …]
|
| H A D | CoreEngine.h | 200 const CoreEngine &Eng; member
205 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
213 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
470 CoreEngine& Eng; variable
479 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} in IndirectGotoNodeBuilder()
518 CoreEngine& Eng; variable
526 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {} in SwitchNodeBuilder()
|
| H A D | ProgramState.h | 496 SubEngine *Eng; /* Can be null. */
566 SubEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const { in checkEndAnalysis()
111 << (Eng.wasBlocksExhausted() ? "yes" : "no") in checkEndAnalysis()
113 << (Eng.hasEmptyWorkList() ? "yes" : "no"); in checkEndAnalysis()
120 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()
136 CE->isBuiltinAssumeFalse(Eng.getContext())) { in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 225 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
226 Eng.ViewGraph(0); in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 208 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 60 ExprEngine &Eng) const;
283 ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 738 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); in RunPathSensitiveChecks() local
741 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), in RunPathSensitiveChecks()
745 Eng.DumpGraph(Mgr->options.TrimGraph, Mgr->options.DumpExplodedGraphTo); in RunPathSensitiveChecks()
749 Eng.ViewGraph(Mgr->options.TrimGraph); in RunPathSensitiveChecks()
752 Eng.getBugReporter().FlushReports(); in RunPathSensitiveChecks()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 514 ExprEngine& Eng; variable
518 : BugReporter(d, GRBugReporterKind), Eng(eng) {} in GRBugReporter()
|
| /freebsd-12.1/contrib/ntp/html/hints/ |
| H A D | solaris.xtra.4095849 | 19 satish.mynam@Eng 1998-04-30
|
| /freebsd-12.1/contrib/sendmail/src/ |
| H A D | README | 969 Rod.Evans@Eng.Sun.COM:
|
| /freebsd-12.1/contrib/gcc/ |
| H A D | FSFChangeLog | 2248 Sat Feb 14 06:34:41 1998 Peter Lawrence <Peter.Lawrence@Eng.Sun.COM>
|
| /freebsd-12.1/share/misc/ |
| H A D | pci_vendors | 14082 11a3 Deuretzbacher GmbH & Co. Eng. KG
14084 11a5 Microunity Systems Eng. Inc
|