Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp58 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
59 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
139 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
235 originalV = State->getSVal(copyExpr, LCtx); in VisitBlockExpr()
237 originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr()
266 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
293 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
338 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
345 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
366 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
[all …]
H A DExprEngineCXX.cpp81 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
148 SVal ThisVal = State->getSVal(ThisPtr); in computeObjectUnderConstruction()
571 Base = State->getSVal(ME, LCtx); in bindRequiredArrayElementToEnvironment()
604 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
706 SVal ThisVal = State->getSVal(ThisPtr); in handleConstructor()
962 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
1081 SVal V = State->getSVal(Init, LCtx); in VisitCXXNewExpr()
1104 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr()
1121 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
1179 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
[all …]
H A DCheckerContext.cpp28 SVal L = Pred->getSVal(Callee); in getCalleeDecl()
164 return evalComparison(getSVal(E), BO_GE, V, getState()); in isGreaterOrEqual()
169 return evalComparison(getSVal(E), BO_LT, V, getState()); in isNegative()
H A DExprEngine.cpp269 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
292 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState()
309 SVal V = state->getSVal(L); in getInitialState()
330 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); in createTemporaryRegionIfNeeded()
437 SVal InitVal = State->getSVal(Init, LC); in createTemporaryRegionIfNeeded()
1172 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()
1206 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()
1209 InitVal = State->getSVal(*LValueLoc); in ProcessInitializer()
1219 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()
1231 SVal InitVal = State->getSVal(Init, stackFrame); in ProcessInitializer()
[all …]
H A DBugReporterVisitors.cpp252 return State->getSVal(State->getLValue(VD, LCtx)); in getSValForVar()
256 if (auto FieldL = State->getSVal(ME, LCtx).getAs<Loc>()) in getSValForVar()
335 N->getSVal(BO->getLHS()).getAsRegion())) in wasRegionOfInterestModifiedAt()
339 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt()
678 const SVal V = State->getSVal(FR); in findRegionOfInterestInRecord()
768 V = State->getSVal(MR, PT); in maybeEmitNoteForParameters()
781 CallExitBeginN->getState()->getSVal(RegionOfInterest)); in wasModifiedBeforeCallExit()
975 const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion(); in matchAssignment()
1045 SVal V = State->getSVal(Ret, CalleeSFC); in visitNodeInitial()
1560 if (Succ->getState()->getSVal(R) != V) in VisitNode()
[all …]
H A DCallEvent.cpp312 return getSVal(ArgE); in getArgSVal()
326 return getSVal(E); in getReturnValue()
689 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl()
701 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl()
738 SVal ThisVal = Base ? getSVal(Base) : UnknownVal(); in getCXXThisVal()
878 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
1010 return getSVal(RecE); in getReceiverSVal()
1028 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper()
1445 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
1469 SVal ThisVal = State->getSVal(ThisPtr); in getCaller()
H A DExprEngineCallAndReturn.cpp299 SVal V = state->getSVal(RS, LCtx); in processCallExit()
320 SVal ThisV = state->getSVal(This); in processCallExit()
321 ThisV = state->getSVal(ThisV.castAs<Loc>()); in processCallExit()
333 SVal AllocV = state->getSVal(CNE, callerCtx); in processCallExit()
726 Escaped.emplace_back(loc::MemRegionVal(MR), State->getSVal(MR, Pointee)); in evalCall()
761 ThisV = State->getSVal(ThisV.castAs<Loc>()); in bindReturnValue()
790 R = State->getSVal(Target.castAs<Loc>(), E->getType()); in bindReturnValue()
804 ElementCount = State->getSVal(SizeExpr, LCtx); in bindReturnValue()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DInvalidatedIteratorChecker.cpp77 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
88 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
98 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
108 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DObjCContainersChecker.cpp36 SVal ArrayRef = C.getSVal(E); in getArraySym()
63 SVal SizeV = C.getSVal(Size); in REGISTER_MAP_WITH_PROGRAMSTATE()
69 SVal ArrayRef = C.getSVal(Array); in REGISTER_MAP_WITH_PROGRAMSTATE()
125 SVal IdxVal = C.getSVal(IdxExpr); in checkPreStmt()
H A DCStringChecker.cpp471 State->getSVal(*FirstElementVal).isUndef()) { in checkInit()
526 State->getSVal(LastElementVal.castAs<Loc>()).isUndef()) { in checkInit()
612 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess()
633 SVal LengthVal = C.getSVal(Size.Expression); in CheckBufferAccess()
688 SVal firstVal = state->getSVal(First.Expression, LCtx); in CheckOverlap()
689 SVal secondVal = state->getSVal(Second.Expression, LCtx); in CheckOverlap()
738 SVal LengthVal = state->getSVal(Size.Expression, LCtx); in CheckOverlap()
1348 SVal MemVal = C.getSVal(DstBuffer); in memsetAux()
1349 SVal SizeVal = C.getSVal(Size); in memsetAux()
1445 SVal sizeVal = state->getSVal(Size.Expression, LCtx); in evalCopyCommon()
[all …]
H A DIteratorRangeChecker.cpp150 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
165 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
170 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
181 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
191 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DCXXSelfAssignmentChecker.cpp50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
52 auto ParamVal = State->getSVal(Param); in checkBeginFunction()
H A DBasicObjCFoundationChecks.cpp135 auto Location = C.getSVal(E).getAs<Loc>(); in warnIfNilExpr()
451 SVal TheTypeVal = C.getSVal(CE->getArg(1)); in checkPreStmt()
472 SVal TheValueExpr = C.getSVal(CE->getArg(2)); in checkPreStmt()
866 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil()
906 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()
913 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()
957 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1041 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1177 SVal Val = C.getSVal(NonNullExpr); in assumeExprIsNonNull()
H A DCheckPlacementNew.cpp67 return getDynamicExtentWithOffset(C.getState(), C.getSVal(Place)); in getExtentSizeOfPlace()
82 SVal ElementCount = C.getSVal(SizeExpr); in getExtentSizeOfNewTarget()
282 SVal PlaceVal = C.getSVal(Place); in checkPlaceIsAlignedProperly()
H A DPointerSubChecker.cpp112 SVal LV = C.getSVal(B->getLHS()); in checkPreStmt()
113 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
H A DSTLAlgorithmModeling.cpp136 SVal Param = State->getSVal(CE->getArg(paramNum), LCtx); in Find()
160 Param = State->getSVal(CE->getArg(paramNum + 1), LCtx); in Find()
H A DIteratorModeling.cpp269 const SVal LVal = State->getSVal(LHS, C.getLocationContext()); in checkPostStmt()
270 const SVal RVal = State->getSVal(RHS, C.getLocationContext()); in checkPostStmt()
273 SVal Result = State->getSVal(BO, C.getLocationContext()); in checkPostStmt()
296 const auto *Pos = getIteratorPosition(State, C.getSVal(MTE->getSubExpr())); in checkPostStmt()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
637 SVal OldVal = State->getSVal(Iterator, C.getLocationContext()); in handlePtrIncrOrDecr()
H A DCXXDeleteChecker.cpp92 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()
203 const MemRegion *M = N->getSVal(CastE).getAsRegion(); in VisitNode()
H A DGenericTaintChecker.cpp115 return State->getSVal(LValue); in getPointeeOf()
119 return State->getSVal(LValue, State->getStateManager().getContext().CharTy); in getPointeeOf()
928 Fun(I, E, C.getSVal(E)); in process()
935 if (isStdin(C.getSVal(E), C.getASTContext())) { in process()
936 State = addTaint(State, C.getSVal(E)); in process()
938 if (SinkArgs.contains(I) && isTaintedOrPointsToTainted(State, C.getSVal(E))) in process()
962 getTaintedPointeeOrPointer(State, C.getSVal(E)); in process()
1041 getTaintedPointeeOrPointer(C.getState(), C.getSVal(E)); in generateReportIfTainted()
H A DMallocChecker.cpp1099 const SVal V = C.getSVal(FlagsEx); in performKernelMalloc()
1134 SVal BlocksVal = C.getSVal(Blocks); in evalMulForBufferSize()
1135 SVal BlockBytesVal = C.getSVal(BlockBytes); in evalMulForBufferSize()
1498 State->getSVal(Arg, Call.getLocationContext()).getAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1601 checkTaintedness(C, Call, C.getSVal(*SizeEx), State, AF_CXXNewArray); in processNewAllocation()
1693 return MallocMemAux(C, Call, C.getSVal(SizeEx), Init, State, Family); in MallocMemAux()
1802 RetVal = C.getSVal(E); in MallocUpdateRefState()
1954 SVal ArgVal = ArgValOpt.value_or(C.getSVal(ArgExpr)); in FreeMemAux()
2095 SVal RetVal = C.getSVal(ParentExpr); in FreeMemAux()
2628 SVal Arg0Val = C.getSVal(arg0Expr); in ReallocMemAux()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp140 SVal V = State->getSVal(FR); in isDereferencableUninit()
205 SVal PointeeV = State->getSVal(R); in isDereferencableUninit()
226 SVal V = State->getSVal(FR); in dereference()
245 while (const MemRegion *Tmp = State->getSVal(R, DynT).getAsRegion()) { in dereference()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h374 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
380 SVal getSVal(Loc LV, QualType T = QualType()) const;
387 SVal getSVal(const MemRegion* R, QualType T = QualType()) const;
793 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function
795 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
806 return getSVal(S, LCtx); in getSValAsScalarOrLoc()
816 inline SVal ProgramState::getSVal(const MemRegion* R, QualType T) const { in getSVal() function
H A DCheckerContext.h149 SVal getSVal(const Stmt *S) const { in getSVal() function
150 return Pred->getSVal(S); in getSVal()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp156 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); in checkPostStmt()
210 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
233 SVal V = pred->getSVal(Child); in processObjCLiterals()
249 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
275 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
286 std::optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>(); in checkPostStmt()
291 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
559 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters()
925 SVal RetVal = state->getSVal(BindReturnTo, LCtx); in evalCall()
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
/freebsd/contrib/llvm-project/clang/lib/Analysis/plugins/SampleAnalyzer/
H A DMainCallChecker.cpp21 const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl(); in checkPreStmt()

12