| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| LocalCheckers.h | 23 void RegisterCallInliner(ExprEngine &Eng);
|
| DereferenceChecker.h | 29 GetImplicitNullDereferences(ExprEngine &Eng);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 24 ExprEngine &Eng;
41 ExprEngine &eng,
45 : Eng(eng),
56 return Eng.getAnalysisManager();
60 return Eng.getConstraintManager();
64 return Eng.getStoreManager();
84 return Eng.getContext();
88 return Eng.getContext().getLangOpts();
96 return Eng.getBugReporter()
[all...] |
| CoreEngine.h | 191 CoreEngine &Eng;
195 : Eng(E), Block(B), Pred(N) { assert(B); assert(!N->isSink()); }
205 return Eng.WList->getBlockCounter().getNumVisited(
439 CoreEngine& Eng;
447 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
448 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
486 CoreEngine& Eng;
493 const Expr *condition, CoreEngine* eng)
494 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {
[all...] |
| ProgramState.h | 396 /// Eng - The SubEngine that owns this state manager.
397 SubEngine *Eng; /* Can be null. */
427 : Eng(&subeng),
440 : Eng(0),
485 SubEngine* getOwningEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| OSAtomicChecker.cpp | 27 bool inlineCall(const CallExpr *CE, ExprEngine &Eng,
32 ExprEngine &Eng,
53 ExprEngine &Eng,
64 return evalOSAtomicCompareAndSwap(CE, Eng, Pred, Dst);
71 ExprEngine &Eng,
78 ASTContext &Ctx = Eng.getContext();
123 Eng.evalLoad(Tmp, CE, theValueExpr, Pred,
155 SValBuilder &svalBuilder = Eng.getSValBuilder();
175 Eng.evalStore(TmpStore, CE, theValueExpr, N,
184 StmtNodeBuilder B(TmpStore, Dst, Eng.getBuilderContext())
[all...] |
| 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();
|
| CheckerDocumentation.cpp | 143 ExprEngine &Eng) const {}
|
| UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
58 if (Eng.hasWorkRemaining())
|
| IdempotentOperationChecker.cpp | 75 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
345 ExprEngine &Eng) const {
368 if (Eng.hasWorkRemaining()) {
374 Eng.getCoreEngine()))
|
| /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/lib/StaticAnalyzer/Core/ |
| CheckerManager.cpp | 96 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
140 ExprEngine &Eng;
147 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
148 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
158 CheckerContext C(Bldr, Eng, Pred, L, wasInlined);
169 ExprEngine &Eng,
172 S, Eng, wasInlined);
182 ExprEngine &Eng;
188 const ObjCMessage &msg, ExprEngine &eng)
[all...] |
| ExprEngineCallAndReturn.cpp | 408 ExprEngine &Eng;
412 DefaultEval(ExprEngine &eng, const CallExpr *ce)
413 : Eng(eng), CE(ce) {}
419 if (state == 0 && Eng.InlineCall(Dst, CE, Pred))
423 StmtNodeBuilder Bldr(Pred, Dst, *Eng.currentBuilderContext);
439 ResultTy = Eng.getContext().getPointerType(ResultTy);
442 SValBuilder &SVB = Eng.getSValBuilder();
443 unsigned Count = Eng.currentBuilderContext->getCurrentBlockCount();
451 state = Eng.invalidateArguments(state, CallOrObjCMessage(CE, state, LCtx)
[all...] |
| CoreEngine.cpp | 589 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew);
590 N->addPredecessor(FromN, *C.Eng.G);
631 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
634 Succ->addPredecessor(Pred, *Eng.G);
640 Eng.WList->enqueue(Succ);
651 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
654 Succ->addPredecessor(Pred, *Eng.G);
658 Eng.WList->enqueue(Succ);
676 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock,
679 Succ->addPredecessor(Pred, *Eng.G)
[all...] |
| ProgramState.cpp | 176 SubEngine* Eng = Mgr.getOwningEngine();
178 if (Eng && Eng->wantsRegionChangeUpdate(this)) {
184 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
|
| BugReporter.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 183 ExprEngine &Eng) {
184 runCheckersForStmt(/*isPreVisit=*/true, Dst, Src, S, Eng);
196 ExprEngine &Eng,
198 runCheckersForStmt(/*isPreVisit=*/false, Dst, Src, S, Eng, wasInlined);
204 const Stmt *S, ExprEngine &Eng,
211 ExprEngine &Eng) {
212 runCheckersForObjCMessage(/*isPreVisit=*/true, Dst, Src, msg, Eng);
219 ExprEngine &Eng) {
220 runCheckersForObjCMessage(/*isPreVisit=*/false, Dst, Src, msg, Eng);
227 const ObjCMessage &msg, ExprEngine &Eng);
[all...] |
| Checker.h | 188 BugReporter &BR, ExprEngine &Eng) {
189 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
342 ExprEngine &Eng,
345 return ((const CHECKER *)checker)->inlineCall(CE, Eng, Pred, Dst);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 390 ExprEngine& Eng;
392 GRBugReporter(BugReporterData& d, ExprEngine& eng)
393 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
399 ExprEngine &getEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| AnalysisConsumer.cpp | 513 ExprEngine Eng(*Mgr, ObjCGCEnabled, VisitedCallees, &FunctionSummaries);
523 Eng.ExecuteWorkList(Mgr->getAnalysisDeclContextManager().getStackFrame(D, 0),
532 Eng.ViewGraph(Mgr->shouldTrimGraph());
535 Eng.getBugReporter().FlushReports();
|
