/external/clang/lib/StaticAnalyzer/Checkers/ |
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 | 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 | 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 | UndefBranchChecker.cpp | 31 const LocationContext *LCtx; member in struct:__anon3928::UndefBranchChecker::FindUndefExpr 34 : St(S), LCtx(L) {} 51 return St->getSVal(Ex, LCtx).isUndef();
|
H A D | DereferenceChecker.cpp | 45 const LocationContext *LCtx, 55 const LocationContext *LCtx, 51 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
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 | 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), this); 207 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res), this); 38 getCalleeName(ProgramStateRef State, const CallExpr *CE, const LocationContext *LCtx) argument
|
H A D | StackAddrEscapeChecker.cpp | 123 const LocationContext *LCtx = C.getLocationContext(); local 124 SVal V = C.getState()->getSVal(RetE, LCtx); 137 const StackFrameContext *CurFrame = LCtx->getCurrentStackFrame();
|
H A D | CallAndMessageChecker.cpp | 224 const LocationContext *LCtx = C.getLocationContext(); local 225 SVal L = State->getSVal(Callee, LCtx); 400 const LocationContext *LCtx = C.getLocationContext(); local 405 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); 442 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));
|
H A D | IdempotentOperationChecker.cpp | 147 const LocationContext *LCtx = C.getLocationContext(); local 148 SVal LHSVal = state->getSVal(LHS, LCtx); 149 SVal RHSVal = state->getSVal(RHS, LCtx);
|
H A D | StreamChecker.cpp | 223 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 225 cast<DefinedSVal>(svalBuilder.conjureSymbolVal(0, CE, LCtx,
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | 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, 145 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = 0) argument 153 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = 0) argument
|
H A D | ProgramState.h | 203 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, 209 const LocationContext *LCtx, 227 const LocationContext *LCtx, 255 SVal getSVal(const Stmt *S, const LocationContext *LCtx, 258 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 302 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx, 314 bool isTainted(const Stmt *S, const LocationContext *LCtx, 404 const LocationContext *LCtx, 493 const StackFrameContext *LCtx, 672 inline SVal ProgramState::getSVal(const Stmt *Ex, const LocationContext *LCtx, argument [all...] |
H A D | CallEvent.h | 120 const LocationContext *LCtx; member in class:clang::ento::CallEvent 146 : State(state), LCtx(lctx), Origin(E), RefCount(0) {} 149 : State(state), LCtx(lctx), Origin(D), RefCount(0) {} 153 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), 190 return LCtx; 351 const LocationContext *LCtx) 352 : CallEvent(E, St, LCtx) {} 354 const LocationContext *LCtx) 355 : CallEvent(D, St, LCtx) {} 350 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument 353 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument 390 SimpleCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 421 FunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 443 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 492 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 495 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument 529 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 568 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 616 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument 662 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument 708 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument 761 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument 879 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument 884 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument 889 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument 896 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument 914 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument 920 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument 926 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument 933 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Environment.cpp | 45 const LocationContext *LCtx = Entry.getLocationContext(); local 68 const SVal *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx)); 81 SVal const *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx)); 130 return lookupExpr(EnvironmentEntry(E, LCtx));
|
H A D | ExprEngineCXX.cpp | 31 const LocationContext *LCtx = Pred->getLocationContext(); local 35 SVal V = state->getSVal(tempExpr, LCtx); 42 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, LCtx); 49 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, V)); 55 const LocationContext *LCtx = Pred->getLocationContext(); local 78 SVal Base = State->getLValue(Var, LCtx); 83 Target = State->getLValue(Var, LCtx).getAsRegion(); 95 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); 97 LCtx->getCurrentStackFrame()); 116 Target = MRMgr.getCXXTempObjectRegion(CE, LCtx); 169 const LocationContext *LCtx = Pred->getLocationContext(); local 217 const LocationContext *LCtx = Pred->getLocationContext(); local 292 const LocationContext *LCtx = Pred->getLocationContext(); local 307 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); 115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
|
H A D | Store.cpp | 29 const StackFrameContext *LCtx) { 33 Call.getInitialStackFrameContents(LCtx, InitialBindings); 27 enterStackFrame(Store OldStore, const CallEvent &Call, const StackFrameContext *LCtx) argument
|
H A D | SValBuilder.cpp | 111 const LocationContext *LCtx, 114 return conjureSymbolVal(symbolTag, expr, LCtx, T, count); 119 const LocationContext *LCtx, 125 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); 135 const LocationContext *LCtx, 141 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); 151 const LocationContext *LCtx, 157 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); 109 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count) argument 117 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument 134 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument 150 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
|
H A D | SymbolManager.cpp | 187 const LocationContext *LCtx, 192 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); 197 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); 500 if (LCtx != ELCtx) { 503 if (LCtx->isParentOf(ELCtx)) 511 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal); 516 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame(); 523 if (LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, VR->getDecl())) 186 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument
|
H A D | BugReporterVisitors.cpp | 746 const LocationContext *LCtx = N->getLocationContext(); local 749 LCtx).getAsRegion()) { 864 const LocationContext *LCtx = N->getLocationContext(); local 865 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx); 900 const LocationContext *LCtx = N->getLocationContext(); local 901 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx); 908 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { 948 const LocationContext *LCtx = N->getLocationContext(); local 949 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx); 954 if (const MemRegion *R = state->getLValue(VD, LCtx) [all...] |
H A D | CallEvent.cpp | 607 const LocationContext *LCtx = getLocationContext(); local 608 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); 611 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); 839 const LocationContext *LCtx) { 841 return create<CXXMemberCall>(MCE, State, LCtx); 847 return create<CXXMemberOperatorCall>(OpCE, State, LCtx); 850 return create<BlockCall>(CE, State, LCtx); 855 return create<FunctionCall>(CE, State, LCtx); 838 getSimpleCall(const CallExpr *CE, ProgramStateRef State, const LocationContext *LCtx) argument
|
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.conjureSymbolVal(0, B->getRHS(), LCtx, Count); 54 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 71 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(), 76 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(), 89 state = state->BindExpr(B, LCtx, Result); 121 const LocationContext *LCtx = (*I)->getLocationContext(); local 122 SVal V = state->getSVal(LHS, LCtx); 227 const LocationContext *LCtx = subExprNode->getLocationContext(); local 246 const LocationContext *LCtx = Pred->getLocationContext(); local 273 const LocationContext *LCtx = Pred->getLocationContext(); local 566 const LocationContext *LCtx = Pred->getLocationContext(); local 613 const LocationContext *LCtx = Pred->getLocationContext(); local 725 const LocationContext *LCtx = Pred->getLocationContext(); local 740 const LocationContext *LCtx = Pred->getLocationContext(); local 761 const LocationContext *LCtx = Pred->getLocationContext(); local 773 const LocationContext *LCtx = Pred->getLocationContext(); local 828 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineCallAndReturn.cpp | 152 const LocationContext *LCtx = CEBNode->getLocationContext(); local 153 SVal V = state->getSVal(RS, LCtx); 250 static unsigned getNumberStackFrames(const LocationContext *LCtx) { argument 252 while (LCtx) { 253 if (isa<StackFrameContext>(LCtx)) 255 LCtx = LCtx->getParent(); 557 const LocationContext *LCtx, 572 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); 576 return State->BindExpr(E, LCtx, 556 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument [all...] |