| /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");
|
| Environment.cpp | 72 const LocationContext *LCtx = Entry.getLocationContext();
99 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
105 return lookupExpr(EnvironmentEntry(S, LCtx));
|
| 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,
|
| 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();
132 SVal LValue = State->getLValue(Var, LCtx);
146 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
148 LCtx->getCurrentStackFrame())
[all...] |
| CallEvent.cpp | 620 const LocationContext *LCtx = getLocationContext();
621 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
624 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
902 const LocationContext *LCtx) {
904 return create<CXXMemberCall>(MCE, State, LCtx);
910 return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
913 return create<BlockCall>(CE, State, LCtx);
918 return create<SimpleFunctionCall>(CE, State, LCtx);
[all...] |
| 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...] |
| ExprEngineCallAndReturn.cpp | 177 const LocationContext *LCtx = Pred->getLocationContext();
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
179 LCtx->getAnalysisDeclContext()->getBody(),
246 const LocationContext *LCtx = CEBNode->getLocationContext();
247 SVal V = state->getSVal(RS, LCtx);
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx,
361 while (LCtx) {
362 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
370 LCtx = LCtx->getParent()
[all...] |
| BugReporterVisitors.cpp | 446 const LocationContext *LCtx = N->getLocationContext();
447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame();
[all...] |
| PathDiagnostic.cpp | [all...] |
| ExprEngine.cpp | 568 const LocationContext *LCtx = Pred->getLocationContext();
569 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx);
598 const LocationContext *LCtx = Pred->getLocationContext();
601 SVal ArgVal = State->getSVal(Arg, LCtx);
611 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx);
625 const LocationContext *LCtx = Pred->getLocationContext();
627 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl());
629 LCtx->getCurrentStackFrame());
646 const LocationContext *LCtx = Pred->getLocationContext();
648 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl())
[all...] |
| RegionStore.cpp | 387 const LocationContext *LCtx,
394 const LocationContext *LCtx,
562 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext();
41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| 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 | 31 const LocationContext *LCtx;
34 : St(S), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
|
| BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext();
50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
51 C.addTransition(state->BindExpr(CE, LCtx, X));
65 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
91 C.addTransition(state->BindExpr(CE, LCtx, V));
|
| StackAddrEscapeChecker.cpp | 127 const LocationContext *LCtx = C.getLocationContext();
128 SVal V = C.getState()->getSVal(RetE, LCtx);
141 const StackFrameContext *CurFrame = LCtx->getCurrentStackFrame();
|
| 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));
|
| CallAndMessageChecker.cpp | 303 const LocationContext *LCtx = C.getLocationContext();
304 SVal L = State->getSVal(Callee, LCtx);
539 const LocationContext *LCtx = C.getLocationContext();
544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
|
| StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
| BasicObjCFoundationChecks.cpp | 445 const LocationContext *LCtx = C.getLocationContext();
446 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
466 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
920 const LocationContext *LCtx = C.getLocationContext();
928 ElementLoc = State->getLValue(ElemDecl, LCtx);
930 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
[all...] |
| CStringChecker.cpp | 350 const LocationContext *LCtx = C.getLocationContext();
356 SVal BufVal = state->getSVal(FirstBuf, LCtx);
368 SVal LengthVal = state->getSVal(Size, LCtx);
394 BufVal = state->getSVal(SecondBuf, LCtx);
432 const LocationContext *LCtx = C.getLocationContext();
433 SVal firstVal = state->getSVal(First, LCtx);
434 SVal secondVal = state->getSVal(Second, LCtx);
483 SVal LengthVal = state->getSVal(Size, LCtx);
841 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
[all...] |
| MallocChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 119 const LocationContext *LCtx;
143 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
144 : State(state), LCtx(lctx), Origin(E), RefCount(0) {}
146 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
147 : State(state), LCtx(lctx), Origin(D), RefCount(0) {}
151 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
188 return LCtx;
[all...] |
| SymbolManager.h | 158 const LocationContext *LCtx;
162 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx,
166 LCtx(lctx),
178 QualType T, unsigned Count, const LocationContext *LCtx,
182 profile.AddPointer(LCtx);
189 Profile(profile, S, T, Count, LCtx, SymbolTag);
498 const LocationContext *LCtx,
504 const LocationContext *LCtx,
507 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag)
[all...] |
