/external/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|
H A D | DereferenceChecker.h | 29 GetImplicitNullDereferences(ExprEngine &Eng);
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 27 ExprEngine &Eng; member in class:clang::ento::CheckerContext 46 Eng(eng), 51 Ctx(builder.C.Eng, builder.getBlock(), pred), 60 return Eng; 64 return Eng.getAnalysisManager(); 68 return Eng.getConstraintManager(); 72 return Eng.getStoreManager(); 83 return Eng.getContext(); 87 return Eng.getBugReporter(); 95 return Eng [all...] |
H A D | CoreEngine.h | 172 CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext 176 : Eng(E), Block(B), ContextPred(N) { assert(B); assert(!N->isSink()); } 202 BlockCounter getBlockCounter() const { return C.Eng.WList->getBlockCounter();} 279 CoreEngine& Eng; member in class:clang::ento::CommonNodeBuilder 281 CommonNodeBuilder(CoreEngine* E, ExplodedNode *P) : Pred(P), Eng(*E) {} 282 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter(); } 412 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder 421 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {} 455 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder 463 : Eng(*en 591 CoreEngine &Eng; member in class:clang::ento::CallEnterNodeBuilder 632 CoreEngine &Eng; member in class:clang::ento::CallExitNodeBuilder [all...] |
H A D | ProgramState.h | 409 /// Eng - The SubEngine that owns this state manager. 410 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager 444 : Eng(&subeng), 457 : Eng(0), 502 SubEngine* getOwningEngine() { return Eng; }
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | AggExprVisitor.cpp | 33 ExprEngine &Eng; member in class:__anon3104::AggExprVisitor 38 : Dest(dest), Pred(N), DstSet(dst), Eng(eng) {} 59 Eng.VisitCXXConstructExpr(E, Dest, Pred, DstSet); 63 Eng.Visit(E, Pred, DstSet);
|
H A D | CheckerManager.cpp | 131 ExprEngine &Eng; member in struct:__anon3115::CheckStmtContext 138 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng) { } 147 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pred, L, 0); 159 ExprEngine &Eng) { 161 S, Eng); 171 ExprEngine &Eng; member in struct:__anon3116::CheckObjCMessageContext 178 : IsPreVisit(isPreVisit), Checkers(checkers), Msg(msg), Eng(eng) { } 186 CheckerContext C(Dst, Eng.getBuilder(), Eng, Pre 155 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument 194 runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) argument 213 ExprEngine &Eng; member in struct:__anon3117::CheckLocationContext 236 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *S, ExprEngine &Eng) argument 251 ExprEngine &Eng; member in struct:__anon3118::CheckBindContext 273 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng) argument 281 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 289 runCheckersForEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) argument 299 runCheckersForBranchCondition(const Stmt *condition, NodeBuilder &B, ExplodedNode *Pred, ExprEngine &Eng) argument 322 ExprEngine &Eng; member in struct:__anon3119::CheckDeadSymbolsContext 344 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng) argument 395 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallExpr *CE, ExprEngine &Eng, GraphExpander *defaultEval) argument [all...] |
H A D | ExprEngineCallAndReturn.cpp | 169 ExprEngine &Eng; member in class:DefaultEval 174 : Eng(eng), CE(ce) {} 177 if (Eng.getAnalysisManager().shouldInlineCall() && 178 Eng.InlineCall(Dst, CE, Pred)) { 183 StmtNodeBuilder &Builder = Eng.getBuilder(); 199 ResultTy = Eng.getContext().getPointerType(ResultTy); 202 SValBuilder &SVB = Eng.getSValBuilder(); 211 state = Eng.invalidateArguments(state, CallOrObjCMessage(CE, state), LC); 214 Eng.MakeNode(Dst, CE, Pred, state);
|
H A D | CoreEngine.cpp | 495 ExplodedNode *N = C.Eng.G->getNode(Loc, State, &IsNew); 496 N->addPredecessor(FromN, *C.Eng.G); 530 C.Eng.WList->enqueue(N, C.Block, Idx); 536 C.Eng.WList->enqueue(N, C.Block, Idx+1); 545 C.Eng.WList->enqueue(N, C.Block, Idx+1); 550 ExplodedNode *Succ = C.Eng.G->getNode(Loc, N->State, &IsNew); 551 Succ->addPredecessor(N, *C.Eng.G); 554 C.Eng.WList->enqueue(Succ, C.Block, Idx+1); 588 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(), 591 Succ->addPredecessor(Pred, *Eng [all...] |
H A D | ProgramState.cpp | 153 SubEngine* Eng = Mgr.getOwningEngine(); local 155 if (Eng && Eng->wantsRegionChangeUpdate(this)) { 161 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated);
|
/external/clang/test/SemaTemplate/ |
H A D | instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) { argument 26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | OSAtomicChecker.cpp | 27 bool inlineCall(const CallExpr *CE, ExprEngine &Eng, 32 ExprEngine &Eng, 43 ExprEngine &Eng, 63 return evalOSAtomicCompareAndSwap(CE, Eng, Pred, Dst); 81 ExprEngine &Eng, 88 StmtNodeBuilder &Builder = Eng.getBuilder(); 89 ASTContext &Ctx = Eng.getContext(); 133 Eng.evalLoad(Tmp, theValueExpr, Pred, 168 SValBuilder &svalBuilder = Eng.getSValBuilder(); 188 Eng 42 inlineCall(const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) const argument 80 evalOSAtomicCompareAndSwap(const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) const argument [all...] |
H A D | AnalyzerStatsChecker.cpp | 28 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 34 ExprEngine &Eng) const { 92 << (Eng.wasBlocksExhausted() ? "yes" : "no") 94 << (Eng.hasEmptyWorkList() ? "yes" : "no"); 101 const CoreEngine &CE = Eng.getCoreEngine();
|
H A D | UndefBranchChecker.cpp | 53 ExplodedNode *Pred, ExprEngine &Eng) const; 61 ExprEngine &Eng) const { 110 Eng.getBugReporter().EmitReport(R);
|
H A D | UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const; 55 ExprEngine &Eng) const { 58 if (Eng.hasWorkRemaining())
|
H A D | StackAddrEscapeChecker.cpp | 34 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const; 140 ExprEngine &Eng) const { 148 ExprEngine &Eng; member in class:CallBack 153 CallBack(ExprEngine &Eng, const LocationContext *LCtx) argument 154 : Eng(Eng), CurSFC(LCtx->getCurrentStackFrame()) {} 168 if (Eng.getContext().getLangOptions().ObjCAutoRefCount && 184 CallBack cb(Eng, B.getPredecessor()->getLocationContext()); 207 Eng.getContext().getSourceManager()); 216 Eng [all...] |
H A D | IdempotentOperationChecker.cpp | 74 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 344 ExprEngine &Eng) const { 367 if (Eng.hasWorkRemaining()) { 373 Eng.getCoreEngine()))
|
H A D | MacOSKeychainAPIChecker.cpp | 61 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const; 561 ExprEngine &Eng) const { 578 Eng.getSValBuilder())) { 595 Eng.getBugReporter().EmitReport(
|
H A D | RetainCountChecker.cpp | 1779 ExprEngine &Eng); 2226 ExprEngine &Eng) 2239 const SourceManager& SMgr = Eng.getContext().getSourceManager(); 2242 GetAllocationSite(Eng.getStateManager(), getErrorNode(), sym); 2311 ExprEngine &Eng) const { 2448 void checkEndPath(EndOfFunctionNodeBuilder &Builder, ExprEngine &Eng) const; 2467 ExprEngine &Eng, SymbolRef Sym, RefVal V) const; 2472 ExprEngine &Eng, 3335 ExplodedNode *Pred, ExprEngine &Eng, 3343 assert(!Eng 2223 CFRefLeakReport(CFRefBug &D, const LangOptions &LOpts, bool GCEnabled, const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym, ExprEngine &Eng) argument 3333 handleAutoreleaseCounts(const ProgramState *state, GenericNodeBuilderRefCount Bd, ExplodedNode *Pred, ExprEngine &Eng, SymbolRef Sym, RefVal V) const argument 3413 processLeaks(const ProgramState *state, SmallVectorImpl<SymbolRef> &Leaked, GenericNodeBuilderRefCount &Builder, ExprEngine &Eng, ExplodedNode *Pred) const argument 3479 ExprEngine &Eng = C.getEngine(); local [all...] |
H A D | StreamChecker.cpp | 78 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const; 422 ExprEngine &Eng) const { 437 Eng.getBugReporter().EmitReport(R);
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 169 ExprEngine &Eng) { 170 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng); 182 ExprEngine &Eng) { 183 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng); 189 const Stmt *S, ExprEngine &Eng); 195 ExprEngine &Eng) { 196 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng); 203 ExprEngine &Eng) { 204 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng); 211 const ObjCMessage &msg, ExprEngine &Eng); 166 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument 179 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument 192 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) argument 200 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) argument [all...] |
H A D | Checker.h | 188 BugReporter &BR, ExprEngine &Eng) { 189 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng); 203 ExprEngine &Eng) { 204 ((const CHECKER *)checker)->checkEndPath(B, Eng); 219 ExprEngine &Eng) { 220 ((const CHECKER *)checker)->checkBranchCondition(condition, B, Pred, Eng); 342 ExprEngine &Eng, 345 return ((const CHECKER *)checker)->inlineCall(CE, Eng, Pred, Dst); 187 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument 202 _checkEndPath(void *checker, EndOfFunctionNodeBuilder &B, ExprEngine &Eng) argument 217 _checkBranchCondition(void *checker, const Stmt *condition, NodeBuilder &B, ExplodedNode *Pred, ExprEngine &Eng) argument 341 _inlineCall(void *checker, const CallExpr *CE, ExprEngine &Eng, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
|
/external/clang/examples/wpa/ |
H A D | clang-wpa.cpp | 176 ExprEngine Eng(AMgr, TF); 178 Eng.ExecuteWorkList(AMgr.getStackFrame(FD, TU), AMgr.getMaxNodes());
|
/external/clang/lib/StaticAnalyzer/Frontend/ |
H A D | AnalysisConsumer.cpp | 311 ExprEngine Eng(mgr, ObjCGCEnabled); 321 Eng.ExecuteWorkList(mgr.getStackFrame(D, 0), mgr.getMaxNodes()); 329 Eng.ViewGraph(mgr.shouldTrimGraph()); 332 Eng.getBugReporter().FlushReports();
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 339 ExprEngine& Eng; member in class:clang::ento::GRBugReporter 343 : BugReporter(d, GRBugReporterKind), Eng(eng) {} 349 ExprEngine &getEngine() { return Eng; }
|