| /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 | 27 ExprEngine &Eng;
40 ExprEngine &eng,
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()
[all...] |
| CoreEngine.h | 172 CoreEngine &Eng;
176 : Eng(E), Block(B), ContextPred(N) { assert(B); assert(!N->isSink()); }
202 BlockCounter getBlockCounter() const { return C.Eng.WList->getBlockCounter();}
279 CoreEngine& Eng;
281 CommonNodeBuilder(CoreEngine* E, ExplodedNode *P) : Pred(P), Eng(*E) {}
282 BlockCounter getBlockCounter() const { return Eng.WList->getBlockCounter(); }
412 CoreEngine& Eng;
420 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
421 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {
[all...] |
| ProgramState.h | 409 /// Eng - The SubEngine that owns this state manager.
410 SubEngine *Eng; /* Can be null. */
444 : Eng(&subeng),
457 : Eng(0),
502 SubEngine* getOwningEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| AggExprVisitor.cpp | 33 ExprEngine &Eng;
37 ExprEngine &eng)
38 : Dest(dest), Pred(N), DstSet(dst), Eng(eng) {}
59 Eng.VisitCXXConstructExpr(E, Dest, Pred, DstSet);
63 Eng.Visit(E, Pred, DstSet);
|
| CheckerManager.cpp | 131 ExprEngine &Eng;
137 const Stmt *s, ExprEngine &eng)
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;
177 const ObjCMessage &msg, ExprEngine &eng)
[all...] |
| ExprEngineCallAndReturn.cpp | 169 ExprEngine &Eng;
173 DefaultEval(ExprEngine &eng, const CallExpr *ce)
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)
[all...] |
| 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.G)
[all...] |
| ProgramState.cpp | 153 SubEngine* Eng = Mgr.getOwningEngine();
155 if (Eng && Eng->wantsRegionChangeUpdate(this)) {
161 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated);
|
| /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/Checkers/ |
| 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.evalStore(TmpStore, NULL, theValueExpr, N
[all...] |
| 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();
|
| UndefBranchChecker.cpp | 53 ExplodedNode *Pred, ExprEngine &Eng) const;
61 ExprEngine &Eng) const {
110 Eng.getBugReporter().EmitReport(R);
|
| UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
58 if (Eng.hasWorkRemaining())
|
| StackAddrEscapeChecker.cpp | 34 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
140 ExprEngine &Eng) const {
148 ExprEngine &Eng;
153 CallBack(ExprEngine &Eng, const LocationContext *LCtx)
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.getBugReporter().EmitReport(report)
[all...] |
| IdempotentOperationChecker.cpp | 74 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
344 ExprEngine &Eng) const {
367 if (Eng.hasWorkRemaining()) {
373 Eng.getCoreEngine()))
|
| MacOSKeychainAPIChecker.cpp | 61 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
561 ExprEngine &Eng) const {
578 Eng.getSValBuilder())) {
595 Eng.getBugReporter().EmitReport(
|
| RetainCountChecker.cpp | [all...] |
| 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/ |
| 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);
[all...] |
| 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);
|
| /external/clang/examples/wpa/ |
| clang-wpa.cpp | 176 ExprEngine Eng(AMgr, TF);
178 Eng.ExecuteWorkList(AMgr.getStackFrame(FD, TU), AMgr.getMaxNodes());
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 339 ExprEngine& Eng;
342 GRBugReporter(BugReporterData& d, ExprEngine& eng)
343 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
349 ExprEngine &getEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| 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();
|
