/external/clang/include/clang/StaticAnalyzer/Checkers/ |
LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
CheckerContext.h | 71 ExprEngine &Eng; 88 ExprEngine &eng, 92 : Eng(eng), 103 return Eng.getAnalysisManager(); 107 return Eng.getConstraintManager(); 111 return Eng.getStoreManager(); 115 return Eng.getAnalysisManager().options.Config; 135 return Eng.getContext(); 139 return Eng.getContext().getLangOpts() [all...] |
CoreEngine.h | 181 const CoreEngine &Eng; 185 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } 193 return Eng.WList->getBlockCounter().getNumVisited( 444 CoreEngine& Eng; 452 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng) 453 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} 491 CoreEngine& Eng; 498 const Expr *condition, CoreEngine* eng) 499 : Eng(*eng), Src(src), Condition(condition), Pred(pred) { [all...] |
ProgramState.h | 436 /// Eng - The SubEngine that owns this state manager. 437 SubEngine *Eng; /* Can be null. */ 506 SubEngine* getOwningEngine() { return Eng; }
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
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();
|
UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const; 55 ExprEngine &Eng) const { 58 if (Eng.hasWorkRemaining())
|
CheckerDocumentation.cpp | 173 ExprEngine &Eng) const {}
|
IdempotentOperationChecker.cpp | 76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 347 ExprEngine &Eng) const { 372 if (Eng.hasWorkRemaining()) { 378 Eng.getCoreEngine()))
|
/external/clang/lib/StaticAnalyzer/Core/ |
CheckerManager.cpp | 97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext(); 141 ExprEngine &Eng; 148 const Stmt *s, ExprEngine &eng, bool wasInlined = false) 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; 189 const ObjCMethodCall &msg, ExprEngine &eng, [all...] |
CoreEngine.cpp | 591 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew); 592 N->addPredecessor(FromN, *C.Eng.G); 633 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), 636 Succ->addPredecessor(Pred, *Eng.G); 642 Eng.WList->enqueue(Succ); 653 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), 656 Succ->addPredecessor(Pred, *Eng.G); 660 Eng.WList->enqueue(Succ); 678 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock, 681 Succ->addPredecessor(Pred, *Eng.G) [all...] |
BugReporterVisitors.cpp | 206 SubEngine *Eng = State->getStateManager().getOwningEngine(); 207 assert(Eng && "Cannot file a bug report without an owning engine"); 208 AnalyzerOptions &Options = Eng->getAnalysisManager().options; 290 ExprEngine &Eng = BRC.getBugReporter().getEngine(); 291 AnalyzerOptions &Options = Eng.getAnalysisManager().options; 327 ExprEngine &Eng = BRC.getBugReporter().getEngine(); 328 AnalyzerOptions &Options = Eng.getAnalysisManager().options; 706 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); 707 assert(Eng && "Cannot file a bug report without an owning engine"); 708 AnalyzerOptions &Options = Eng->getAnalysisManager().options [all...] |
ProgramState.cpp | 75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc), 168 SubEngine* Eng = Mgr.getOwningEngine(); 170 if (Eng) { 179 newState = Eng->processPointerEscapedOnInvalidateRegions(newState, 182 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
|
RangeConstraintManager.cpp | 330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { 331 return new RangeConstraintManager(Eng, StMgr.getBasicVals());
|
BugReporter.cpp | [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/ |
CheckerManager.h | 198 ExprEngine &Eng) { 199 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); 211 ExprEngine &Eng, 213 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined); 219 const Stmt *S, ExprEngine &Eng, 226 ExprEngine &Eng) { 227 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng); 234 ExprEngine &Eng, 236 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng, 244 const ObjCMethodCall &msg, ExprEngine &Eng, [all...] |
Checker.h | 218 BugReporter &BR, ExprEngine &Eng) { 219 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
|
/external/clang/test/SemaTemplate/ |
instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) { 26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
BugReporter.h | 499 ExprEngine& Eng; 501 GRBugReporter(BugReporterData& d, ExprEngine& eng) 502 : BugReporter(d, GRBugReporterKind), Eng(eng) {} 508 ExprEngine &getEngine() { return Eng; }
|
/external/clang/lib/StaticAnalyzer/Frontend/ |
AnalysisConsumer.cpp | 619 ExprEngine Eng(*Mgr, ObjCGCEnabled, VisitedCallees, &FunctionSummaries,IMode); 629 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D), 638 Eng.ViewGraph(Mgr->options.TrimGraph); 641 Eng.getBugReporter().FlushReports();
|