/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BasicObjCFoundationChecks.cpp | 445 const LocationContext *LCtx = C.getLocationContext(); local 446 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx); 466 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx); 920 const LocationContext *LCtx = C.getLocationContext(); local 928 ElementLoc = State->getLValue(ElemDecl, LCtx); 930 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
|
H A D | BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext(); local 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));
|
H A D | CStringChecker.cpp | 350 const LocationContext *LCtx = C.getLocationContext(); local 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(); local 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(); local 854 return state->invalidateRegions(R, E, C.blockCount(), LCtx, 915 const LocationContext *LCtx = C.getLocationContext(); local 1072 const LocationContext *LCtx = C.getLocationContext(); local 1155 const LocationContext *LCtx = C.getLocationContext(); local 1330 const LocationContext *LCtx = C.getLocationContext(); local 1689 const LocationContext *LCtx = C.getLocationContext(); local 1823 const LocationContext *LCtx = C.getLocationContext(); local [all...] |
H A D | CallAndMessageChecker.cpp | 303 const LocationContext *LCtx = C.getLocationContext(); local 304 SVal L = State->getSVal(Callee, LCtx); 539 const LocationContext *LCtx = C.getLocationContext(); local 544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); 582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
|
H A D | DereferenceChecker.cpp | 46 const LocationContext *LCtx, 56 const LocationContext *LCtx, 52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
H A D | MallocChecker.cpp | 867 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 868 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) 1581 const LocationContext *LCtx = C.getLocationContext(); local 1582 SVal Arg0Val = state->getSVal(arg0Expr, LCtx); 1598 SVal Arg1ValG = state->getSVal(Arg1, LCtx); 1631 SVal RetVal = state->getSVal(CE, LCtx); 1681 const LocationContext *LCtx = C.getLocationContext(); local 1682 SVal count = state->getSVal(CE->getArg(0), LCtx); 1683 SVal elementSize = state->getSVal(CE->getArg(1), LCtx);
|
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 | 84 const LocationContext *LCtx = C.getLocationContext(); local 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));
|
H A D | RetainCountChecker.cpp | 953 const LocationContext *LCtx = MC->getLocationContext(); local 954 ParentMap &PM = LCtx->getAnalysisDeclContext()->getParentMap(); 1843 const LocationContext *LCtx = N->getLocationContext(); local 1888 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); 1898 = Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx); 1961 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) 1970 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx) 2002 CurrSt->getSValAsScalarOrLoc(cast<CallExpr>(S)->getCallee(), LCtx); 2118 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { 2766 const LocationContext *LCtx local 3253 const LocationContext *LCtx = C.getLocationContext(); local 3692 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
H A D | UndefBranchChecker.cpp | 31 const LocationContext *LCtx; member in struct:__anon18244::UndefBranchChecker::FindUndefExpr 34 : St(S), LCtx(L) {} 51 return St->getSVal(Ex, LCtx).isUndef();
|
H A D | UndefResultChecker.cpp | 41 const LocationContext *LCtx = C.getLocationContext(); local 42 if (state->getSVal(B, LCtx).isUndef()) { 66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { 70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | BugReporter.cpp | 1247 const LocationContext *LCtx) { 1248 SVal V = State->getSVal(Ex, LCtx); 1264 SVal ChildV = State->getSVal(child, LCtx); 1978 const ParentMap &PM, const LocationContext *LCtx) { 1996 NextSrcContext = getEnclosingStmtLocation(InnerStmt, SM, PM, LCtx, 2009 getEnclosingStmtLocation(Dst, SM, PM, LCtx, /*allowNested=*/true); 3257 const LocationContext *LCtx = E->getLocationContext(); local 3258 if (LCtx->getAnalysisDeclContext()->isBodyAutosynthesized()) 1243 reversePropagateIntererstingSymbols(BugReport &R, InterestingExprs &IE, const ProgramState *State, const Expr *Ex, const LocationContext *LCtx) argument 1977 addContextEdges(PathPieces &pieces, SourceManager &SM, const ParentMap &PM, const LocationContext *LCtx) argument
|
H A D | BugReporterVisitors.cpp | 446 const LocationContext *LCtx = N->getLocationContext(); local 447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame(); 1287 const LocationContext *LCtx = N->getLocationContext(); local 1290 LCtx).getAsRegion()) { 1406 const LocationContext *LCtx = N->getLocationContext(); local 1407 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx); 1442 const LocationContext *LCtx = N->getLocationContext(); local 1443 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx); 1450 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { 1488 const LocationContext *LCtx local [all...] |
H A D | CallEvent.cpp | 620 const LocationContext *LCtx = getLocationContext(); local 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); 901 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
|
H A D | Environment.cpp | 72 const LocationContext *LCtx = Entry.getLocationContext(); local 99 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); 105 return lookupExpr(EnvironmentEntry(S, LCtx));
|
H A D | ExprEngine.cpp | 568 const LocationContext *LCtx = Pred->getLocationContext(); local 569 PostImplicitCall PP(NE->getOperatorNew(), NE->getLocStart(), LCtx); 598 const LocationContext *LCtx = Pred->getLocationContext(); local 601 SVal ArgVal = State->getSVal(Arg, LCtx); 611 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx); 625 const LocationContext *LCtx = Pred->getLocationContext(); local 627 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); 629 LCtx->getCurrentStackFrame()); 646 const LocationContext *LCtx = Pred->getLocationContext(); local 648 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx 844 const LocationContext *LCtx = Pred->getLocationContext(); local 880 const LocationContext *LCtx = N->getLocationContext(); local 958 const LocationContext *LCtx = Pred->getLocationContext(); local 1325 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument 1432 const LocationContext *LCtx = Pred->getLocationContext(); local 1733 const LocationContext *LCtx = Pred->getLocationContext(); local 1797 const LocationContext *LCtx = (*it)->getLocationContext(); local 1834 const LocationContext *LCtx = (*I)->getLocationContext(); local 2147 const LocationContext *LCtx = (*NI)->getLocationContext(); local [all...] |
H A D | ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext(); local 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 local 238 const LocationContext *LCtx = subExprNode->getLocationContext(); local 257 const LocationContext *LCtx = Pred->getLocationContext(); local 284 const LocationContext *LCtx = Pred->getLocationContext(); local 416 const LocationContext *LCtx = Pred->getLocationContext(); local 591 const LocationContext *LCtx = Pred->getLocationContext(); local 643 const LocationContext *LCtx = Pred->getLocationContext(); local 790 const LocationContext *LCtx = (*I)->getLocationContext(); local 805 const LocationContext *LCtx = (*I)->getLocationContext(); local 826 const LocationContext *LCtx = (*I)->getLocationContext(); local 838 const LocationContext *LCtx = (*I)->getLocationContext(); local 897 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineCXX.cpp | 31 const LocationContext *LCtx = Pred->getLocationContext(); local 33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME); 56 const LocationContext *LCtx = Pred->getLocationContext(); local 73 PostStmt PS(CallExpr, LCtx); 78 State = State->BindExpr(CallExpr, LCtx, ThisVal); 80 State = bindReturnValue(Call, LCtx, State); 109 const LocationContext *LCtx = Pred->getLocationContext(); local 132 SVal LValue = State->getLValue(Var, LCtx); 146 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); 148 LCtx 180 const LocationContext *LCtx = Pred->getLocationContext(); local 305 const LocationContext *LCtx = Pred->getLocationContext(); local 348 const LocationContext *LCtx = Pred->getLocationContext(); local 378 const LocationContext *LCtx = Pred->getLocationContext(); local 491 const LocationContext *LCtx = Pred->getLocationContext(); local 506 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineCallAndReturn.cpp | 177 const LocationContext *LCtx = Pred->getLocationContext(); local 178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, 179 LCtx->getAnalysisDeclContext()->getBody(), 246 const LocationContext *LCtx = CEBNode->getLocationContext(); local 247 SVal V = state->getSVal(RS, LCtx); 356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument 361 while (LCtx) { 362 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { 370 LCtx = LCtx 535 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument [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); 115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
|
H A D | PathDiagnostic.cpp | 1138 const LocationContext *LCtx = N->getLocationContext(); local 1142 SVal SV = State->getSVal(*I, LCtx); 1161 SVal SV = State->getSVal(CE, LCtx);
|
H A D | PrettyStackTraceLocationContext.h | 30 const LocationContext *LCtx; member in class:clang::ento::PrettyStackTraceLocationContext 32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { 33 assert(LCtx); 38 LCtx->dumpStack(OS, "\t");
|
H A D | 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, 90 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument 139 invalidateRegions(RegionList Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument 156 invalidateRegions(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument 169 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument 290 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument 651 addTaint(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument 687 isTainted(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument [all...] |