/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 | 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...] |
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 | 582 const LocationContext *LCtx = Pred->getLocationContext(); 583 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx); 612 const LocationContext *LCtx = Pred->getLocationContext(); 615 SVal ArgVal = State->getSVal(Arg, LCtx); 625 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx); 639 const LocationContext *LCtx = Pred->getLocationContext(); 641 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); 643 LCtx->getCurrentStackFrame()); 660 const LocationContext *LCtx = Pred->getLocationContext(); 662 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()) [all...] |
BugReporterVisitors.cpp | 442 const LocationContext *LCtx = N->getLocationContext(); 443 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame(); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
LoopWidening.h | 30 const LocationContext *LCtx,
|
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), 189 return LCtx; [all...] |
SValBuilder.h | 146 const LocationContext *LCtx, 150 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 154 const LocationContext *LCtx, 157 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag); 174 const LocationContext *LCtx, 178 const LocationContext *LCtx, 183 const LocationContext *LCtx, 190 const LocationContext *LCtx,
|
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...] |
ProgramState.h | 228 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, 261 unsigned BlockCount, const LocationContext *LCtx, 268 unsigned BlockCount, const LocationContext *LCtx, 297 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const; 299 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 343 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx, 355 bool isTainted(const Stmt *S, const LocationContext *LCtx, 433 const LocationContext *LCtx, 521 const StackFrameContext *LCtx, 728 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()) {
|
PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext(); 41 SVal LV = state->getSVal(B->getLHS(), LCtx); 42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
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) {} 49 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 | 359 const LocationContext *LCtx = C.getLocationContext(); 365 SVal BufVal = state->getSVal(FirstBuf, LCtx); 377 SVal LengthVal = state->getSVal(Size, LCtx); 403 BufVal = state->getSVal(SecondBuf, LCtx); 441 const LocationContext *LCtx = C.getLocationContext(); 442 SVal firstVal = state->getSVal(First, LCtx); 443 SVal secondVal = state->getSVal(Second, LCtx); 492 SVal LengthVal = state->getSVal(Size, LCtx); 837 const LocationContext *LCtx = C.getLocationContext(); [all...] |
/external/clang/lib/Analysis/ |
AnalysisDeclContext.cpp | 453 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { 454 switch (LCtx->getKind()) { 457 cast<StackFrameContext>(LCtx)->getDecl()->print(OS, PP); 465 << cast<BlockInvocationContext>(LCtx)->getContextData()
|