Home
last modified time | relevance | path

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

123

/external/clang/lib/StaticAnalyzer/Checkers/
DStreamChecker.cpp246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread()
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite()
260 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0), in Fseek()
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek()
287 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
294 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
301 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
308 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
315 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Clearerr()
322 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Feof()
[all …]
DPointerArithChecker.cpp111 SVal S = State->getSVal(Region); in getPointedRegion()
159 State->getSVal(E, C.getLocationContext()).getAsRegion(); in reportPointerArithMisuse()
231 SVal SV = State->getSVal(CE, C.getLocationContext()); in checkPostStmt()
252 SVal AllocedVal = State->getSVal(NE, C.getLocationContext()); in checkPostStmt()
267 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext()); in checkPostStmt()
285 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext()); in checkPreStmt()
309 SVal Idx = State->getSVal(SubsExpr->getIdx(), C.getLocationContext()); in checkPreStmt()
328 SVal RHSVal = State->getSVal(Rhs, C.getLocationContext()); in checkPreStmt()
335 SVal LHSVal = State->getSVal(Lhs, C.getLocationContext()); in checkPreStmt()
DPthreadLockChecker.cpp95 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE()
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()
134 SVal X = state->getSVal(CE, C.getLocationContext()); in AcquireLock()
DTestAfterDivZeroChecker.cpp119 SVal S = State->getSVal(E, Succ->getLocationContext()); in REGISTER_SET_WITH_PROGRAMSTATE()
208 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
229 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
238 Val = C.getSVal(I->getSubExpr()); in checkBranchCondition()
243 Val = C.getSVal(U->getSubExpr()); in checkBranchCondition()
250 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
255 SVal Val = C.getSVal(Condition); in checkBranchCondition()
DObjCContainersChecker.cpp42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym()
69 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE()
131 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
DUndefResultChecker.cpp42 if (state->getSVal(B, LCtx).isUndef()) { in checkPostStmt()
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { in checkPostStmt()
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) { in checkPostStmt()
DCStringChecker.cpp369 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess()
381 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess()
407 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess()
446 SVal firstVal = state->getSVal(First, LCtx); in CheckOverlap()
447 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap()
496 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap()
845 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound()
847 SVal LengthVal = state->getSVal(Size, LCtx); in IsFirstBufInBound()
1001 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon()
1009 SVal destVal = state->getSVal(Dest, LCtx); in evalCopyCommon()
[all …]
DExprInspectionChecker.cpp79 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString()
150 SVal V = C.getSVal(CE->getArg(0)); in analyzerExplain()
160 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion()); in analyzerGetExtent()
174 SVal Val = C.getSVal(CE->getArg(0)); in analyzerWarnOnDeadSymbol()
DObjCSelfInitChecker.cpp135 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext()); in isInvalidSelf()
186 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext()); in checkPostObjCMessage()
255 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); in checkPreCall()
286 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); in checkPostCall()
312 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self, in checkLocation()
DPointerSubChecker.cpp44 SVal LV = state->getSVal(B->getLHS(), LCtx); in checkPreStmt()
45 SVal RV = state->getSVal(B->getRHS(), LCtx); in checkPreStmt()
DBasicObjCFoundationChecks.cpp141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
444 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx); in checkPreStmt()
464 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx); in checkPreStmt()
573 SVal ArgVal = state->getSVal(Arg, C.getLocationContext()); in checkPreStmt()
889 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
928 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
935 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
980 State->getSVal(FCS->getCollection(), C.getLocationContext()).getAsSymbol(); in assumeCollectionNonEmpty()
1010 SVal CollectionSentinel = C.getSVal(FCS); in checkPostStmt()
1066 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
[all …]
DBuiltinFunctionChecker.cpp53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); in evalCall()
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall()
DUndefCapturedBlockVarChecker.cpp59 cast<BlockDataRegion>(state->getSVal(BE, in checkPostStmt()
76 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
DUndefBranchChecker.cpp50 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
62 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
DUnixAPIChecker.cpp131 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen()
181 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckPthreadOnce()
268 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck()
296 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero()
DMallocChecker.cpp717 const SVal V = State->getSVal(FlagsEx, C.getLocationContext()); in performKernelMalloc()
885 State->getSVal(Arg, C.getLocationContext()).getAs<DefinedSVal>(); in ProcessZeroAllocation()
900 SVal retVal = State->getSVal(E, C.getLocationContext()); in ProcessZeroAllocation()
968 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol()) in checkPostStmt()
993 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreStmt()
1076 return MallocMemAux(C, CE, State->getSVal(SizeEx, C.getLocationContext()), in MallocMemAux()
1132 SVal retVal = State->getSVal(E, C.getLocationContext()); in MallocUpdateRefState()
1321 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext()); in FreeMemAux()
1441 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux()
1904 SVal Arg0Val = State->getSVal(arg0Expr, LCtx); in ReallocMem()
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp40 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
41 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
132 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
230 originalV = State->getSVal(copyExpr, Pred->getLocationContext()); in VisitBlockExpr()
232 originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
261 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
307 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
346 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
357 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
366 SVal val = state->getSVal(Ex, LCtx); in VisitCast()
[all …]
DExprEngineCXX.cpp66 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
132 SVal ThisVal = State->getSVal(ThisPtr); in getRegionForConstructedObject()
274 SVal ThisVal = State->getSVal(ThisPtr); in VisitCXXConstructExpr()
508 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
525 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
569 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
597 InitVal = State->getSVal(InitExpr, LocCtxt); in VisitLambdaExpr()
603 InitVal = State->getSVal(SizeExpr, LocCtxt); in VisitLambdaExpr()
612 SVal LambdaRVal = State->getSVal(R); in VisitLambdaExpr()
DExprEngine.cpp131 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
154 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
171 SVal V = state->getSVal(L); in getInitialState()
188 SVal V = State->getSVal(Ex, LC); in createTemporaryRegionIfNeeded()
471 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()
503 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()
505 InitVal = State->getSVal(*LValueLoc); in ProcessInitializer()
515 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()
602 Region = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
616 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor()
[all …]
DCallEvent.cpp227 return getSVal(ArgE); in getArgSVal()
241 return getSVal(E); in getReturnValue()
417 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
430 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
465 SVal ThisVal = getSVal(Base); in getCXXThisVal()
590 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
709 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); in getSelfSVal()
718 return getSVal(RecE); in getReceiverSVal()
736 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
1076 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
[all …]
DBugReporterVisitors.cpp203 SVal RetVal = State->getSVal(S, Node->getLocationContext()); in addVisitorIfNecessary()
208 RetVal = State->getSVal(*LValue); in addVisitorIfNecessary()
250 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()
1019 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue()
1029 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
1094 RVal = state->getSVal(L->getRegion()); in trackNullOrUndefValue()
[all …]
DEnvironment.cpp69 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment
100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
DProgramState.cpp245 return getSVal(R); in getSValAsScalarOrLoc()
251 SVal ProgramState::getSVal(Loc location, QualType T) const { in getSVal() function in ProgramState
657 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol(); in addTaint()
661 const MemRegion *R = getSVal(S, LCtx).getAsRegion(); in addTaint()
692 SVal val = getSVal(S, LCtx); in isTainted()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h298 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
304 SVal getSVal(Loc LV, QualType T = QualType()) const;
311 SVal getSVal(const MemRegion* R) const;
728 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function
730 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
741 return getSVal(S, LCtx); in getSValAsScalarOrLoc()
751 inline SVal ProgramState::getSVal(const MemRegion* R) const { in getSVal() function
DCheckerContext.h195 SVal getSVal(const Stmt *S) const { in getSVal() function
196 return getState()->getSVal(S, getLocationContext()); in getSVal()

123