| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCContainersChecker.cpp | 63 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
80 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()
123 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()
133 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>(); in checkPreStmt()
|
| H A D | STLAlgorithmModeling.cpp | 134 assert(isa<DefinedSVal>(GreaterOrEqual) && in Find()
136 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
156 assert(isa<DefinedSVal>(Less) && in Find()
158 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
|
| H A D | VLASizeChecker.cpp | 112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA()
175 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
195 if (Optional<DefinedSVal> LessThanZeroDVal = in checkVLAIndexSize()
196 LessThanZeroVal.getAs<DefinedSVal>()) { in checkVLAIndexSize()
|
| H A D | DivZeroChecker.cpp | 70 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
|
| H A D | Iterator.cpp | 280 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) { in assumeNoOverflow()
290 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) { in assumeNoOverflow()
311 assert(isa<DefinedSVal>(comparison) && in compare()
314 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
|
| H A D | StreamChecker.cpp | 184 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
190 .castAs<DefinedSVal>(); in makeRetVal()
195 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
486 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
529 Optional<DefinedSVal> StreamVal = in evalFreopen()
530 getStreamArg(Desc, Call).getAs<DefinedSVal>(); in evalFreopen()
743 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek()
862 auto Stream = StreamVal.getAs<DefinedSVal>(); in ensureStreamNonNull()
|
| H A D | UnixAPIChecker.cpp | 244 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpenVariant()
327 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
|
| H A D | NonNullParamChecker.cpp | 135 auto DV = V.getAs<DefinedSVal>(); in checkPreCall()
160 DV = V.getAs<DefinedSVal>(); in checkPreCall()
|
| H A D | BasicObjCFoundationChecks.cpp | 557 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall()
860 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()
931 Optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty()
932 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()
|
| H A D | ObjCAtSyncChecker.cpp | 62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
|
| H A D | TestAfterDivZeroChecker.cpp | 135 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
|
| H A D | IteratorModeling.cpp | 522 const auto ConditionVal = RetVal.getAs<DefinedSVal>(); in processComparison()
632 if (!isa<DefinedSVal>(Offset)) in handlePtrIncrOrDecr()
802 assert(isa<DefinedSVal>(comparison) && in relateSymbols()
805 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal); in relateSymbols()
|
| H A D | GTestChecker.cpp | 279 C.getSValBuilder().evalEQ(State, *DVal1, *DVal2).getAs<DefinedSVal>(); in assumeValuesEqual()
|
| H A D | TrustNonnullChecker.cpp | 231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
|
| H A D | PthreadLockChecker.cpp | 428 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
448 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 26 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, in getLocFromSymbol()
36 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
111 DefinedSVal Cond, bool Assumption) { in assume()
|
| H A D | CheckerContext.cpp | 143 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>()); in evalComparison()
148 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy); in isGreaterOrEqual()
153 DefinedSVal V = getSValBuilder().makeIntVal(0, false); in isNegative()
|
| H A D | SimpleConstraintManager.cpp | 26 DefinedSVal Cond, in assumeInternal()
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assumeInternal()
|
| H A D | SValBuilder.cpp | 234 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
269 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) { in getMemberPointer()
285 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
289 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 77 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
87 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond);
147 DefinedSVal Cond, bool Assumption) = 0;
|
| H A D | SVals.h | 243 class DefinedSVal : public DefinedOrUnknownSVal {
254 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedSVal() function
261 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal()
266 class NonLoc : public DefinedSVal {
269 : DefinedSVal(d, false, SubKind) {} in NonLoc()
282 class Loc : public DefinedSVal {
285 : DefinedSVal(const_cast<void *>(D), true, SubKind) {} in Loc()
|
| H A D | SValBuilder.h | 221 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
227 DefinedSVal getMemberPointer(const NamedDecl *ND);
229 DefinedSVal getFunctionPointer(const FunctionDecl *func);
231 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
293 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
379 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal()
|
| H A D | SVals.def | 57 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
58 ABSTRACT_SVAL_WITH_KIND(Loc, DefinedSVal)
62 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
|
| H A D | SimpleConstraintManager.h | 69 ProgramStateRef assumeInternal(ProgramStateRef State, DefinedSVal Cond,
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 388 DefinedSVal Constraint;
398 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
567 DefinedSVal V;
580 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|