| /external/clang/lib/StaticAnalyzer/Core/ |
| PrettyStackTraceLocationContext.h | 30 const LocationContext *LCtx;
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) {
33 assert(LCtx);
38 LCtx->dumpStack(OS, "\t");
|
| ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext();
40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
56 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
89 state = createTemporaryRegionIfNeeded(state, LCtx, LHS);
99 state = state->BindExpr(B, LCtx, Result);
131 const LocationContext *LCtx = (*I)->getLocationContext()
[all...] |
| ExprEngineCXX.cpp | 31 const LocationContext *LCtx = Pred->getLocationContext();
33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
56 const LocationContext *LCtx = Pred->getLocationContext();
73 PostStmt PS(CallExpr, LCtx);
78 State = State->BindExpr(CallExpr, LCtx, ThisVal);
80 State = bindReturnValue(Call, LCtx, State);
109 const LocationContext *LCtx = Pred->getLocationContext();
120 SVal LValue = State->getLValue(Var, LCtx);
129 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
131 getSValBuilder().getCXXThis(CurCtor, LCtx->getCurrentStackFrame())
[all...] |
| LoopWidening.cpp | 40 const LocationContext *LCtx,
52 const StackFrameContext *STC = LCtx->getCurrentStackFrame();
63 BlockCount, LCtx, true, nullptr, nullptr,
|
| ExprEngineObjC.cpp | 26 const LocationContext *LCtx = Pred->getLocationContext();
27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
97 const LocationContext *LCtx = Pred->getLocationContext();
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV);
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV);
115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
|
| ExprEngineCallAndReturn.cpp | 180 const LocationContext *LCtx = Pred->getLocationContext();
181 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
182 LCtx->getAnalysisDeclContext()->getBody(),
249 const LocationContext *LCtx = CEBNode->getLocationContext();
250 SVal V = state->getSVal(RS, LCtx);
359 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx,
364 while (LCtx) {
365 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
373 LCtx = LCtx->getParent()
[all...] |
| ProgramState.cpp | 91 const StackFrameContext *LCtx,
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
141 const LocationContext *LCtx,
151 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
158 const LocationContext *LCtx,
164 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape,
171 const LocationContext *LCtx,
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
291 const LocationContext *LCtx,
[all...] |
| SymbolManager.cpp | 167 const LocationContext *LCtx,
172 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
177 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
502 if (LCtx == nullptr)
505 if (LCtx != ELCtx) {
508 if (LCtx->isParentOf(ELCtx))
517 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal);
526 if (!LCtx)
528 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame();
535 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl())
[all...] |
| SValBuilder.cpp | 114 const LocationContext *LCtx,
125 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType);
127 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
132 const LocationContext *LCtx,
141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
151 const LocationContext *LCtx,
160 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
170 const LocationContext *LCtx,
178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
|
| Environment.cpp | 72 const LocationContext *LCtx = Entry.getLocationContext();
100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
106 return lookupExpr(EnvironmentEntry(S, LCtx));
|
| ExprEngine.cpp | 583 const LocationContext *LCtx = Pred->getLocationContext();
584 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx);
613 const LocationContext *LCtx = Pred->getLocationContext();
616 SVal ArgVal = State->getSVal(Arg, LCtx);
626 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx);
640 const LocationContext *LCtx = Pred->getLocationContext();
642 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
644 LCtx->getCurrentStackFrame());
661 const LocationContext *LCtx = Pred->getLocationContext();
663 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl())
[all...] |
| BugReporterVisitors.cpp | 446 const LocationContext *LCtx = N->getLocationContext();
447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame();
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| LoopWidening.h | 30 const LocationContext *LCtx,
|
| CallEvent.h | 144 const LocationContext *LCtx;
168 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
169 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
171 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
172 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
176 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
214 return LCtx;
[all...] |
| SValBuilder.h | 151 const LocationContext *LCtx,
155 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
159 const LocationContext *LCtx,
162 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
179 const LocationContext *LCtx,
183 const LocationContext *LCtx,
188 const LocationContext *LCtx,
195 const LocationContext *LCtx,
|
| SymbolManager.h | 77 const LocationContext *LCtx;
81 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx,
84 LCtx(lctx), SymbolTag(symbolTag) {}
95 QualType T, unsigned Count, const LocationContext *LCtx,
99 profile.AddPointer(LCtx);
106 Profile(profile, S, T, Count, LCtx, SymbolTag);
416 const LocationContext *LCtx,
422 const LocationContext *LCtx,
425 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag)
[all...] |
| ProgramState.h | 229 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
262 unsigned BlockCount, const LocationContext *LCtx,
269 unsigned BlockCount, const LocationContext *LCtx,
298 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
300 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
344 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
356 bool isTainted(const Stmt *S, const LocationContext *LCtx,
434 const LocationContext *LCtx,
522 const StackFrameContext *LCtx,
729 const LocationContext *LCtx) const
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext();
53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
54 C.addTransition(state->BindExpr(CE, LCtx, X));
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
94 C.addTransition(state->BindExpr(CE, LCtx, V));
|
| UndefResultChecker.cpp | 41 const LocationContext *LCtx = C.getLocationContext();
42 if (state->getSVal(B, LCtx).isUndef()) {
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
| PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext();
44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| UndefBranchChecker.cpp | 32 const LocationContext *LCtx;
35 : St(std::move(S)), LCtx(L) {}
50 return St->getSVal(Ex, LCtx).isUndef();
|
| PthreadLockChecker.cpp | 84 const LocationContext *LCtx = C.getLocationContext();
95 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
|
| CStringChecker.cpp | 363 const LocationContext *LCtx = C.getLocationContext();
369 SVal BufVal = state->getSVal(FirstBuf, LCtx);
381 SVal LengthVal = state->getSVal(Size, LCtx);
407 BufVal = state->getSVal(SecondBuf, LCtx);
445 const LocationContext *LCtx = C.getLocationContext();
446 SVal firstVal = state->getSVal(First, LCtx);
447 SVal secondVal = state->getSVal(Second, LCtx);
496 SVal LengthVal = state->getSVal(Size, LCtx);
[all...] |
| CheckObjCDealloc.cpp | 154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const;
271 const LocationContext *LCtx = C.getLocationContext();
286 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) {
502 const LocationContext *LCtx = C.getLocationContext();
532 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface())
607 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty());
631 const LocationContext *LCtx = C.getLocationContext();
634 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx);
799 /// Returns the ObjCImplDecl containing the method declaration in LCtx
[all...] |
| /external/clang/lib/Analysis/ |
| AnalysisDeclContext.cpp | 478 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) {
479 switch (LCtx->getKind()) {
482 cast<StackFrameContext>(LCtx)->getDecl()->print(OS, PP);
490 << cast<BlockInvocationContext>(LCtx)->getContextData()
|
