Home
last modified time | relevance | path

Searched refs:getSVal (Results 1 – 25 of 52) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Checkers/
DPthreadLockChecker.cpp63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
97 SVal X = state->getSVal(CE, C.getLocationContext()); in AcquireLock()
DStreamChecker.cpp243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread()
250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite()
257 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0), in Fseek()
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek()
284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
312 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Clearerr()
319 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Feof()
[all …]
DObjCContainersChecker.cpp41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym()
64 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
DUndefResultChecker.cpp42 if (state->getSVal(B, LCtx).isUndef()) { in checkPostStmt()
65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { in checkPostStmt()
69 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) { in checkPostStmt()
DCStringChecker.cpp351 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess()
363 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess()
389 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess()
428 SVal firstVal = state->getSVal(First, LCtx); in CheckOverlap()
429 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap()
478 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap()
881 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon()
889 SVal destVal = state->getSVal(Dest, LCtx); in evalCopyCommon()
910 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon()
964 state->getSVal(Dest, C.getLocationContext())); in evalCopyCommon()
[all …]
DPointerArithChecker.cpp41 SVal LV = state->getSVal(B->getLHS(), LCtx); in checkPreStmt()
42 SVal RV = state->getSVal(B->getRHS(), LCtx); in checkPreStmt()
DPointerSubChecker.cpp44 SVal LV = state->getSVal(B->getLHS(), LCtx); in checkPreStmt()
45 SVal RV = state->getSVal(B->getRHS(), LCtx); in checkPreStmt()
DObjCSelfInitChecker.cpp140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext()); in isInvalidSelf()
190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext()); in checkPostObjCMessage()
258 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); in checkPreCall()
289 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); in checkPostCall()
315 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self, in checkLocation()
DBuiltinFunctionChecker.cpp52 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); in evalCall()
67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall()
DBasicObjCFoundationChecks.cpp126 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
411 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx); in checkPreStmt()
431 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx); in checkPreStmt()
535 SVal ArgVal = state->getSVal(Arg, C.getLocationContext()); in checkPreStmt()
847 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
886 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
893 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
906 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
958 SVal CollectionSentinel = C.getSVal(FCS); in checkPostStmt()
1016 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
[all …]
DUndefCapturedBlockVarChecker.cpp62 cast<BlockDataRegion>(state->getSVal(BE, in checkPostStmt()
79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
DUndefBranchChecker.cpp51 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
DUnixAPIChecker.cpp104 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen()
162 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckPthreadOnce()
249 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck()
277 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero()
DDynamicTypePropagation.cpp179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in checkPostStmt()
201 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
DUndefinedArraySubscriptChecker.cpp39 if (!C.getSVal(Index).isUndef()) in checkPreStmt()
DFixedAddressChecker.cpp48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt()
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp40 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
41 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
125 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
203 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
231 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
277 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
315 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
324 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
332 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
410 SVal V = State->getSVal(CL->getInitializer(), LCtx); in VisitCompoundLiteralExpr()
[all …]
DCallEvent.cpp192 return getSVal(ArgE); in getArgSVal()
206 return getSVal(E); in getReturnValue()
381 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
394 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
407 SVal ThisVal = getSVal(Base); in getCXXThisVal()
532 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
635 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); in getSelfSVal()
644 return getSVal(RecE); in getReceiverSVal()
662 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
929 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
[all …]
DExprEngine.cpp118 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
141 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
158 SVal V = state->getSVal(L); in getInitialState()
175 SVal V = State->getSVal(Ex, LC); in createTemporaryRegionIfNeeded()
453 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()
481 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()
483 InitVal = State->getSVal(*LValueLoc); in ProcessInitializer()
493 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()
558 Region = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
573 SVal ThisVal = Pred->getState()->getSVal(ThisPtr); in ProcessBaseDtor()
[all …]
DBugReporterVisitors.cpp207 SVal RetVal = State->getSVal(S, Node->getLocationContext()); in addVisitorIfNecessary()
212 RetVal = State->getSVal(*LValue); in addVisitorIfNecessary()
253 SVal V = State->getSVal(Ret, StackFrame); in visitNodeInitial()
486 if (Succ->getState()->getSVal(R) != V) in VisitNode()
489 if (Pred->getState()->getSVal(R) == V) { in VisitNode()
566 SVal V = State->getSVal(S, PS->getLocationContext()); in VisitNode()
571 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()
965 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue()
975 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
1044 RVal = state->getSVal(L->getRegion()); in trackNullOrUndefValue()
[all …]
DExprEngineCXX.cpp66 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
147 SVal ThisVal = State->getSVal(ThisPtr); in VisitCXXConstructExpr()
201 SVal ThisVal = State->getSVal(ThisPtr); in VisitCXXConstructExpr()
403 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
420 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
464 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
DEnvironment.cpp68 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment
98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
DExprEngineObjC.cpp27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
84 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h276 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
282 SVal getSVal(Loc LV, QualType T = QualType()) const;
289 SVal getSVal(const MemRegion* R) const;
695 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function
697 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
708 return getSVal(S, LCtx); in getSValAsScalarOrLoc()
718 inline SVal ProgramState::getSVal(const MemRegion* R) const { in getSVal() function
DCheckerContext.h190 SVal getSVal(const Stmt *S) const { in getSVal() function
191 return getState()->getSVal(S, getLocationContext()); in getSVal()

123