/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | AdjustedReturnValueChecker.cpp | 41 const LocationContext *LCtx = C.getLocationContext(); local 43 SVal V = state->getSVal(CE, LCtx); 50 C.addTransition(state->BindExpr(CE, LCtx, UnknownVal())); 54 const MemRegion *callee = state->getSVal(CE->getCallee(), LCtx).getAsRegion(); 86 C.addTransition(state->BindExpr(CE, LCtx, V));
|
H A D | BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext(); local 49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 50 C.addTransition(state->BindExpr(CE, LCtx, X)); 64 cast<DefinedOrUnknownSVal>(state->getSVal(*(CE->arg_begin()), LCtx)); 72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
H A D | UndefResultChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext(); local 41 if (state->getSVal(B, LCtx).isUndef()) { 55 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { 59 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
H A D | PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext(); local 41 SVal LV = state->getSVal(B->getLHS(), LCtx); 42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext(); local 44 SVal LV = state->getSVal(B->getLHS(), LCtx); 45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | PthreadLockChecker.cpp | 60 const LocationContext *LCtx = C.getLocationContext(); local 71 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 76 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 81 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 86 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 92 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
|
H A D | UndefBranchChecker.cpp | 31 const LocationContext *LCtx; member in struct:__anon3471::UndefBranchChecker::FindUndefExpr 34 : St(S), LCtx(L) {} 51 return St->getSVal(Ex, LCtx).isUndef();
|
H A D | OSAtomicChecker.cpp | 40 const LocationContext *LCtx) { 42 SVal L = State->getSVal(Callee, LCtx); 108 const LocationContext *LCtx = Pred->getLocationContext(); local 110 SVal location = state->getSVal(theValueExpr, LCtx); 141 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, LCtx, true); 143 SVal oldValueVal_untested = stateLoad->getSVal(oldValueExpr, LCtx); 167 SVal val = stateEqual->getSVal(newValueExpr, LCtx); 195 B.generateNode(CE, predNew, stateNew->BindExpr(CE, LCtx, Res), 208 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res), 38 getCalleeName(ProgramStateRef State, const CallExpr *CE, const LocationContext *LCtx) argument
|
H A D | DereferenceChecker.cpp | 40 const LocationContext *LCtx, 50 const LocationContext *LCtx, 63 sourceR = state->getLValue(VD, LCtx).getAsRegion(); 103 const LocationContext *LCtx = C.getLocationContext(); local 137 state.getPtr(), LCtx); 147 state.getPtr(), LCtx, true); 158 state.getPtr(), LCtx, true); 46 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
H A D | AttrNonNullChecker.cpp | 37 const LocationContext *LCtx = C.getLocationContext(); local 40 SVal X = state->getSVal(CE->getCallee(), LCtx); 59 SVal V = state->getSVal(*I, LCtx);
|
H A D | CStringChecker.cpp | 354 const LocationContext *LCtx = C.getLocationContext(); local 360 SVal BufVal = state->getSVal(FirstBuf, LCtx); 372 SVal LengthVal = state->getSVal(Size, LCtx); 398 BufVal = state->getSVal(SecondBuf, LCtx); 436 const LocationContext *LCtx = C.getLocationContext(); local 437 SVal firstVal = state->getSVal(First, LCtx); 438 SVal secondVal = state->getSVal(Second, LCtx); 490 SVal LengthVal = state->getSVal(Size, LCtx); 831 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 832 return state->invalidateRegions(R, E, Count, LCtx); 891 const LocationContext *LCtx = C.getLocationContext(); local 1044 const LocationContext *LCtx = C.getLocationContext(); local 1127 const LocationContext *LCtx = C.getLocationContext(); local 1308 const LocationContext *LCtx = C.getLocationContext(); local 1644 const LocationContext *LCtx = C.getLocationContext(); local [all...] |
H A D | CallAndMessageChecker.cpp | 215 const LocationContext *LCtx = C.getLocationContext(); local 216 SVal L = C.getState()->getSVal(Callee, LCtx); 233 PreVisitProcessArgs(C, CallOrObjCMessage(CE, C.getState(), LCtx), 242 const LocationContext *LCtx = C.getLocationContext(); local 246 SVal recVal = state->getSVal(receiver, LCtx); 290 PreVisitProcessArgs(C, CallOrObjCMessage(msg, state, LCtx), 334 const LocationContext *LCtx = C.getLocationContext(); local 339 C.addTransition(state->BindExpr(msg.getMessageExpr(), LCtx, V)); 376 C.addTransition(state->BindExpr(msg.getMessageExpr(), LCtx, V));
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 38 const LocationContext *LCtx = (*it)->getLocationContext(); local 39 SVal LeftV = state->getSVal(LHS, LCtx); 40 SVal RightV = state->getSVal(RHS, LCtx); 49 RightV = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, Count); 54 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 69 state = state->BindExpr(B, LCtx, Result); 101 const LocationContext *LCtx = (*I)->getLocationContext(); local 102 SVal V = state->getSVal(LHS, LCtx); 134 LHSVal = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, 149 state = state->BindExpr(B, LCtx, locatio 191 const LocationContext *LCtx = subExprNode->getLocationContext(); local 232 const LocationContext *LCtx = Pred->getLocationContext(); local 268 const LocationContext *LCtx = Pred->getLocationContext(); local 279 const LocationContext *LCtx = Pred->getLocationContext(); local 289 const LocationContext *LCtx = Pred->getLocationContext(); local 345 const LocationContext *LCtx = Pred->getLocationContext(); local 446 const LocationContext *LCtx = Pred->getLocationContext(); local 496 const LocationContext *LCtx = Pred->getLocationContext(); local 542 const LocationContext *LCtx = Pred->getLocationContext(); local 629 const LocationContext *LCtx = Pred->getLocationContext(); local 644 const LocationContext *LCtx = Pred->getLocationContext(); local 665 const LocationContext *LCtx = Pred->getLocationContext(); local 677 const LocationContext *LCtx = Pred->getLocationContext(); local 732 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineObjC.cpp | 26 const LocationContext *LCtx = Pred->getLocationContext(); local 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 97 const LocationContext *LCtx = Pred->getLocationContext(); local 101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV); 105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV); 116 SymbolRef Sym = SymMgr.getConjuredSymbol(elem, LCtx, T, Count); 258 const LocationContext *LCtx = Pred->getLocationContext(); local 259 ReturnValue = SVB.getConjuredSymbolVal(NULL, CurrentE, LCtx, ResultTy, Count); 263 const LocationContext *LCtx local [all...] |
H A D | ObjCMessage.cpp | 35 if (const FunctionDecl *FD = State->getSVal(Callee, LCtx).getAsFunctionDecl()) 51 return State->getSVal(Fun, LCtx); 65 return State->getSVal(callee, LCtx);
|
H A D | ExprEngineCXX.cpp | 43 const LocationContext *LCtx = Pred->getLocationContext(); local 50 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, LCtx); 53 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, loc::MemRegionVal(R))); 178 const LocationContext *LCtx = Pred->getLocationContext(); local 180 svalBuilder.getConjuredSymbolVal(NULL, CNE, LCtx, CNE->getType(), blockCount); 276 const LocationContext *LCtx = Pred->getLocationContext(); local 277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(), 280 state = state->bindLoc(state->getLValue(VD, LCtx), V); 291 const LocationContext *LCtx = Pred->getLocationContext(); local 295 LCtx); [all...] |
H A D | ExprEngineCallAndReturn.cpp | 81 const LocationContext *LCtx = Pred->getLocationContext(); local 82 SVal V = state->getSVal(RS, LCtx); 122 static unsigned getNumberStackFrames(const LocationContext *LCtx) { argument 124 while (LCtx) { 125 if (isa<StackFrameContext>(LCtx)) 127 LCtx = LCtx->getParent(); 444 const LocationContext *LCtx = Pred->getLocationContext(); local 445 SVal RetVal = SVB.getConjuredSymbolVal(0, CE, LCtx, ResultTy, Count); 448 state = state->BindExpr(CE, LCtx, RetVa [all...] |
H A D | ProgramState.cpp | 81 const StackFrameContext *LCtx, 95 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 158 const LocationContext *LCtx, 163 return invalidateRegionsImpl(Regions, E, Count, LCtx, 166 return invalidateRegionsImpl(Regions, E, Count, LCtx, *IS, Call); 172 const LocationContext *LCtx, 181 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS, 188 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, LCtx, IS, 267 const LocationContext *LCtx, 270 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), 80 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument 156 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, StoreManager::InvalidatedSymbols *IS, const CallOrObjCMessage *Call) const argument 170 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, StoreManager::InvalidatedSymbols &IS, const CallOrObjCMessage *Call) const argument 266 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument 281 bindExprAndLocation(const Stmt *S, const LocationContext *LCtx, SVal location, SVal V) const argument 609 addTaint(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument 645 isTainted(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument [all...] |
H A D | SValBuilder.cpp | 112 const LocationContext *LCtx, 115 return getConjuredSymbolVal(symbolTag, expr, LCtx, T, count); 121 const LocationContext *LCtx, 127 SymbolRef sym = SymMgr.getConjuredSymbol(expr, LCtx, type, count, symbolTag); 138 const LocationContext *LCtx, 144 SymbolRef sym = SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount); 110 getConjuredSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count) argument 119 getConjuredSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument 137 getConjuredSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument
|
H A D | SymbolManager.cpp | 184 SymbolManager::getConjuredSymbol(const Stmt *E, const LocationContext *LCtx, argument 189 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); 194 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); 497 if (LCtx != ELCtx) { 500 if (LCtx->isParentOf(ELCtx)) 505 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal); 510 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame(); 513 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl()))
|
H A D | Environment.cpp | 45 const LocationContext *LCtx = Entry.getLocationContext(); local 68 const SVal *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx)); 76 SVal const *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx)); 121 return lookupExpr(EnvironmentEntry(E, LCtx));
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ObjCMessage.h | 125 const LocationContext *LCtx, 128 return state->getSVal(Msg->getArg(i), LCtx); 166 const LocationContext *LCtx; member in class:clang::ento::CallOrObjCMessage 170 : CallE(callE), State(state), LCtx(lctx) {} 173 : CallE(consE), State(state), LCtx(lctx) {} 176 : CallE((CallExpr *)0), Msg(msg), State(state), LCtx(lctx) {} 235 return Msg.getArgSVal(i, LCtx, State); 236 return State->getSVal(getArg(i), LCtx); 124 getArgSVal(unsigned i, const LocationContext *LCtx, ProgramStateRef state) const argument
|
H A D | SValBuilder.h | 148 const LocationContext *LCtx, 152 return SymMgr.getConjuredSymbol(stmt, LCtx, type, visitCount, symbolTag); 156 const LocationContext *LCtx, 159 return SymMgr.getConjuredSymbol(expr, LCtx, visitCount, symbolTag); 176 const LocationContext *LCtx, 180 const LocationContext *LCtx, 185 const LocationContext *LCtx, 147 getConjuredSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = 0) argument 155 getConjuredSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = 0) argument
|
H A D | SymbolManager.h | 159 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured 167 LCtx(lctx), 179 QualType T, unsigned Count, const LocationContext *LCtx, 183 profile.AddPointer(LCtx); 190 Profile(profile, S, T, Count, LCtx, SymbolTag); 497 const LocationContext *LCtx, 503 const LocationContext *LCtx, 506 return getConjuredSymbol(E, LCtx, E->getType(), 572 const LocationContext *LCtx; member in class:clang::ento::SymbolReaper 581 : LCtx(ct 178 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument 502 getConjuredSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = 0) argument [all...] |
H A D | ProgramState.h | 195 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, 201 const LocationContext *LCtx, 221 const LocationContext *LCtx, 248 SVal getSVal(const Stmt *S, const LocationContext *LCtx, 251 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 295 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx, 307 bool isTainted(const Stmt *S, const LocationContext *LCtx, 383 const LocationContext *LCtx, 488 const StackFrameContext *LCtx, 663 inline SVal ProgramState::getSVal(const Stmt *Ex, const LocationContext *LCtx, argument [all...] |