/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|
/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 71 ExprEngine &Eng; member in class:clang::ento::CheckerContext 92 : Eng(eng), 103 return Eng.getAnalysisManager(); 107 return Eng.getConstraintManager(); 111 return Eng.getStoreManager(); 131 return Eng.getContext(); 135 return Eng.getContext().getLangOpts(); 150 return Eng.getBugReporter(); 158 return Eng.getSValBuilder(); 166 return Eng [all...] |
H A D | CoreEngine.h | 185 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext 189 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } 197 return Eng.WList->getBlockCounter().getNumVisited( 448 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder 457 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} 495 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder 503 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {}
|
H A D | ProgramState.h | 440 /// Eng - The SubEngine that owns this state manager. 441 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager 510 SubEngine* getOwningEngine() { return Eng; }
|
/freebsd-10.1-release/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 { 111 << (Eng.wasBlocksExhausted() ? "yes" : "no") 113 << (Eng.hasEmptyWorkList() ? "yes" : "no"); 120 const CoreEngine &CE = Eng.getCoreEngine();
|
H A D | DebugCheckers.cpp | 197 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { 198 Eng.ViewGraph(0);
|
H A D | UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const; 55 ExprEngine &Eng) const { 58 if (Eng.hasWorkRemaining())
|
H A D | CheckerDocumentation.cpp | 174 ExprEngine &Eng) const {}
|
H A D | IdempotentOperationChecker.cpp | 76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 347 ExprEngine &Eng) const { 372 if (Eng.hasWorkRemaining()) { 378 Eng.getCoreEngine()))
|
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerManager.cpp | 97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); 141 ExprEngine &Eng; member in struct:__anon3611::CheckStmtContext 149 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng), 159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 170 ExprEngine &Eng, 173 S, Eng, WasInlined); 183 ExprEngine &Eng; member in struct:__anon3612::CheckObjCMessageContext 192 Msg(msg), Eng(eng) { } 197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 209 ExprEngine &Eng, 166 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument 205 runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument 226 ExprEngine &Eng; member in struct:__anon3613::CheckCallContext 248 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument 269 ExprEngine &Eng; member in struct:__anon3614::CheckLocationContext 297 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument 315 ExprEngine &Eng; member in struct:__anon3615::CheckBindContext 337 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument 346 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 356 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument 381 ExprEngine &Eng; member in struct:__anon3616::CheckBranchConditionContext 401 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument 424 ExprEngine &Eng; member in struct:__anon3617::CheckDeadSymbolsContext 450 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument 524 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument [all...] |
H A D | CoreEngine.cpp | 609 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew); 610 N->addPredecessor(FromN, *C.Eng.G); 651 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), 654 Succ->addPredecessor(Pred, *Eng.G); 660 Eng.WList->enqueue(Succ); 671 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), 674 Succ->addPredecessor(Pred, *Eng.G); 678 Eng.WList->enqueue(Succ); 696 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock, 699 Succ->addPredecessor(Pred, *Eng [all...] |
H A D | BugReporterVisitors.cpp | 215 SubEngine *Eng = State->getStateManager().getOwningEngine(); local 216 assert(Eng && "Cannot file a bug report without an owning engine"); 217 AnalyzerOptions &Options = Eng->getAnalysisManager().options; 301 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local 302 AnalyzerOptions &Options = Eng.getAnalysisManager().options; 338 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local 339 AnalyzerOptions &Options = Eng.getAnalysisManager().options; 790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); local 791 assert(Eng && "Cannot file a bug report without an owning engine"); 792 AnalyzerOptions &Options = Eng 1525 ExprEngine &Eng = BRC.getBugReporter().getEngine(); local [all...] |
H A D | ProgramState.cpp | 75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), 177 SubEngine* Eng = Mgr.getOwningEngine(); local 188 if (Eng) { 199 newState = Eng->notifyCheckersOfPointerEscape(newState, IS, 205 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,
|
H A D | RangeConstraintManager.cpp | 330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument 331 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
|
H A D | RegionStore.cpp | 359 if (SubEngine *Eng = StateMgr.getOwningEngine()) { 360 AnalyzerOptions &Options = Eng->getAnalysisManager().options;
|
H A D | BugReporter.cpp | 2761 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } 2764 GRBugReporter::getStateManager() { return Eng.getStateManager(); }
|
/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 217 ExprEngine &Eng) { 218 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); 230 ExprEngine &Eng, 232 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined); 238 const Stmt *S, ExprEngine &Eng, 245 ExprEngine &Eng) { 246 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng); 253 ExprEngine &Eng, 255 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng, 263 const ObjCMethodCall &msg, ExprEngine &Eng, 214 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument 227 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument 242 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument 250 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument 267 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument 273 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument [all...] |
H A D | Checker.h | 218 BugReporter &BR, ExprEngine &Eng) { 219 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); 217 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
|
/freebsd-10.1-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 481 ExprEngine& Eng; member in class:clang::ento::GRBugReporter 484 : BugReporter(d, GRBugReporterKind), Eng(eng) {} 490 ExprEngine &getEngine() { return Eng; }
|
/freebsd-10.1-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ |
H A D | AnalysisConsumer.cpp | 653 ExprEngine Eng(*Mgr, ObjCGCEnabled, VisitedCallees, &FunctionSummaries,IMode); 663 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), 672 Eng.ViewGraph(Mgr->options.TrimGraph); 675 Eng.getBugReporter().FlushReports();
|