Home
last modified time | relevance | path

Searched refs:DefinedOrUnknownSVal (Results 1 – 25 of 47) sorted by relevance

12

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCastValueChecker.cpp39 DefinedOrUnknownSVal, CheckerContext &)>;
78 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
90 void evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,
260 DefinedOrUnknownSVal DV, in addInstanceOfTransition()
357 DefinedOrUnknownSVal DV, in evalNullParamNullReturn()
375 DefinedOrUnknownSVal DV, in evalDynCast()
409 DefinedOrUnknownSVal DV, in evalZeroParamNullReturn()
416 DefinedOrUnknownSVal DV, in evalCastAs()
475 Optional<DefinedOrUnknownSVal> DV; in evalCall()
489 DV = Call.getArgSVal(0).getAs<DefinedOrUnknownSVal>(); in evalCall()
[all …]
H A DEnumCastOutOfRangeChecker.cpp35 const DefinedOrUnknownSVal CompareValue;
41 const DefinedOrUnknownSVal CompareValue) in ConstraintBasedEQEvaluator()
45 DefinedOrUnknownSVal EnumDeclValue = SVB.makeIntVal(EnumDeclInitValue); in operator ()()
46 DefinedOrUnknownSVal ElemEqualsValueToCast = in operator ()()
111 const llvm::Optional<DefinedOrUnknownSVal> ValueToCast = in checkPreStmt()
112 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>(); in checkPreStmt()
H A DArrayBoundChecker.cpp48 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkLocation()
58 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in checkLocation()
H A DReturnPointerRangeChecker.cpp51 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkPreStmt()
59 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in checkPreStmt()
H A DReturnUndefChecker.cpp32 DefinedOrUnknownSVal RetVal) const;
75 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
104 DefinedOrUnknownSVal RetVal) const { in checkReference()
H A DCStringChecker.cpp384 DefinedOrUnknownSVal Size = in CheckLocation()
529 Optional<DefinedOrUnknownSVal> reverseTest = in CheckOverlap()
530 reverse.getAs<DefinedOrUnknownSVal>(); in CheckOverlap()
574 Optional<DefinedOrUnknownSVal> OverlapTest = in CheckOverlap()
575 Overlap.getAs<DefinedOrUnknownSVal>(); in CheckOverlap()
995 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in IsFirstBufInBound()
1378 DefinedOrUnknownSVal LV = in evalMemcmp()
1380 DefinedOrUnknownSVal RV = in evalMemcmp()
2042 DefinedOrUnknownSVal LV = LeftVal.castAs<DefinedOrUnknownSVal>(); in evalStrcmpCommon()
2043 DefinedOrUnknownSVal RV = RightVal.castAs<DefinedOrUnknownSVal>(); in evalStrcmpCommon()
[all …]
H A DUndefResultChecker.cpp53 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in isArrayIndexOutOfBounds()
54 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in isArrayIndexOutOfBounds()
H A DBuiltinFunctionChecker.cpp53 state = state->assume(Arg.castAs<DefinedOrUnknownSVal>(), true); in evalCall()
96 state = setDynamicExtent(state, R, Size.castAs<DefinedOrUnknownSVal>(), in evalCall()
H A DNonnullGlobalConstantsChecker.cpp80 Optional<DefinedOrUnknownSVal> Constr = V.getAs<DefinedOrUnknownSVal>(); in checkLocation()
H A DReturnValueChecker.cpp75 auto ReturnDV = ReturnV.getAs<DefinedOrUnknownSVal>(); in isInvariantBreak()
114 State = State->assume(ReturnV.castAs<DefinedOrUnknownSVal>(), ExpectedValue); in checkPostCall()
H A DDereferenceChecker.cpp248 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); in checkLocation()
301 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
H A DVforkChecker.cpp157 Optional<DefinedOrUnknownSVal> DVal = in checkPostCall()
158 VforkRetVal.getAs<DefinedOrUnknownSVal>(); in checkPostCall()
H A DGTestChecker.cpp273 auto DVal1 = Val1.getAs<DefinedOrUnknownSVal>(); in assumeValuesEqual()
274 auto DVal2 = Val2.getAs<DefinedOrUnknownSVal>(); in assumeValuesEqual()
H A DExprInspectionChecker.cpp148 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()
330 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, C.getSValBuilder()); in analyzerGetExtent()
342 DefinedOrUnknownSVal Size = in analyzerDumpExtent()
363 DefinedOrUnknownSVal ElementCount = in analyzerDumpElementCount()
H A DNullabilityChecker.cpp266 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val, in getNullConstraint()
582 auto RetSVal = C.getSVal(S).getAs<DefinedOrUnknownSVal>(); in checkPreStmt()
704 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall()
834 if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) { in getReceiverNullability()
992 auto RegionSVal = C.getSVal(CE).getAs<DefinedOrUnknownSVal>(); in checkPostStmt()
1109 auto ValDefOrUnknown = V.getAs<DefinedOrUnknownSVal>(); in checkBind()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp23 clang::ento::DefinedOrUnknownSVal)
28 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State, in getDynamicExtent()
32 if (const DefinedOrUnknownSVal *Size = State->get<DynamicExtentMap>(MR)) in getDynamicExtent()
38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent()
43 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State, in getDynamicElementCount()
49 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, SVB); in getDynamicElementCount()
55 return ElementCount.castAs<DefinedOrUnknownSVal>(); in getDynamicElementCount()
73 DefinedOrUnknownSVal ExtentInBytes = in getDynamicExtentWithOffset()
82 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
H A DSValBuilder.cpp63 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
140 DefinedOrUnknownSVal
158 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal()
195 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, in conjureSymbolVal()
213 DefinedOrUnknownSVal
221 DefinedOrUnknownSVal
250 DefinedOrUnknownSVal
543 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ()
544 DefinedOrUnknownSVal lhs, in evalEQ()
545 DefinedOrUnknownSVal rhs) { in evalEQ()
[all …]
H A DExprEngineObjC.cpp187 DefinedOrUnknownSVal receiverVal = in VisitObjCMessage()
188 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()
H A DProgramState.cpp318 ProgramState::assumeInBoundDual(DefinedOrUnknownSVal Idx, in assumeInBoundDual()
319 DefinedOrUnknownSVal UpperBound, in assumeInBoundDual()
362 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound()
363 DefinedOrUnknownSVal UpperBound, in assumeInBound()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicExtent.h26 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State,
30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB);
33 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State,
39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
H A DSValBuilder.h133 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
134 DefinedOrUnknownSVal rhs);
178 DefinedOrUnknownSVal makeZeroVal(QualType type);
181 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
189 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
193 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
198 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
206 DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E,
214 DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E,
218 DefinedOrUnknownSVal getDerivedRegionValueSymbolVal(
H A DProgramState.h219 LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,
228 assume(DefinedOrUnknownSVal cond) const;
231 assumeInBoundDual(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,
235 assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,
244 LLVM_NODISCARD ProgramStateRef assumeInclusiveRange(DefinedOrUnknownSVal Val,
255 assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
704 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume()
714 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume()
723 DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To, in assumeInclusiveRange()
735 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, in assumeInclusiveRange()
H A DSVals.h221 class DefinedOrUnknownSVal : public SVal {
231 explicit DefinedOrUnknownSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedOrUnknownSVal() function
233 explicit DefinedOrUnknownSVal(BaseKind k, void *D = nullptr) : SVal(k, D) {} in SVal()
236 class UnknownVal : public DefinedOrUnknownSVal {
238 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownValKind) {} in UnknownVal()
243 class DefinedSVal : public DefinedOrUnknownSVal {
255 : DefinedOrUnknownSVal(d, isLoc, ValKind) {} in DefinedSVal()
H A DSVals.def55 ABSTRACT_SVAL(DefinedOrUnknownSVal, SVal)
56 BASIC_SVAL(UnknownVal, DefinedOrUnknownSVal)
57 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DFalsePositiveRefutationBRVisitorTest.cpp74 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in reportIfCanBeTrue()

12