Home
last modified time | relevance | path

Searched refs:SVal (Results 1 – 25 of 106) sorted by relevance

12345

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h76 class SVal {
220 friend class SVal;
241 friend class SVal;
253 friend class SVal;
274 friend class SVal;
283 friend class SVal; variable
311 friend class SVal;
333 friend class SVal;
364 friend class SVal;
394 friend class SVal;
[all …]
H A DStore.h114 SVal V) = 0;
144 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
146 virtual SVal getLValueField(const FieldDecl *D, SVal Base) { in getLValueField()
150 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
166 SVal evalDerivedToBase(SVal Derived, const CastExpr *Cast);
169 SVal evalDerivedToBase(SVal Derived, const CXXBasePath &CastPath);
172 SVal evalDerivedToBase(SVal Derived, QualType DerivedPtrType,
186 SVal attemptDownCast(SVal Base, QualType DerivedPtrType, bool &Failed);
279 SVal val) override;
294 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
[all …]
H A DSValBuilder.h82 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
106 SVal evalCast(SVal val, QualType castTy, QualType originalType);
109 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
112 virtual SVal evalMinus(NonLoc val) = 0;
114 virtual SVal evalComplement(NonLoc val) = 0;
139 virtual SVal simplifySVal(ProgramStateRef State, SVal Val) = 0;
146 SVal lhs, SVal rhs, QualType type);
149 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
151 SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs);
277 SVal convertToArrayIndex(SVal val);
[all …]
H A DProgramState.h229 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
248 LLVM_NODISCARD ProgramStateRef bindLoc(SVal location, SVal V,
258 bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const;
318 SVal getLValue(const ObjCIvarDecl *decl, SVal base) const;
321 SVal getLValue(const FieldDecl *decl, SVal Base) const;
324 SVal getLValue(const IndirectFieldDecl *decl, SVal Base) const;
327 SVal getLValue(QualType ElementType, SVal Idx, SVal Base) const;
769 inline SVal ProgramState::getLValue(const FieldDecl *D, SVal Base) const { in getLValue()
783 inline SVal ProgramState::getLValue(QualType ElementType, SVal Idx, SVal Base) const{ in getLValue()
795 inline SVal
[all …]
H A DBasicValueFactory.h44 llvm::ImmutableList<SVal> L;
51 using iterator = llvm::ImmutableList<SVal>::iterator;
57 llvm::ImmutableList<SVal> L);
118 llvm::ImmutableList<SVal>::Factory SValListFactory;
232 llvm::ImmutableList<SVal> getEmptySValList() { in getEmptySValList()
236 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L) { in prependSVal()
258 const std::pair<SVal, uintptr_t>&
259 getPersistentSValWithData(const SVal& V, uintptr_t Data);
261 const std::pair<SVal, SVal>&
262 getPersistentSValPair(const SVal& V1, const SVal& V2);
[all …]
H A DExprEngine.h550 SVal evalMinus(SVal X) { in evalMinus()
554 SVal evalComplement(SVal X) { in evalComplement()
581 NonLoc L, SVal R, QualType T) { in evalBinOp()
587 SVal LHS, SVal RHS, QualType T) { in evalBinOp()
594 static Optional<SVal>
603 SVal location, SVal Val, bool atDeclInit = false,
638 SVal location,
645 ExplodedNode *Pred, ProgramStateRef St, SVal TargetLV, SVal Val,
681 SVal location,
690 SVal location,
[all …]
H A DSVals.def1 //===-- SVals.def - Metadata about SVal kinds -------------------*- C++ -*-===//
10 // The list of symbolic values (SVal kinds and sub-kinds) used in the Static
11 // Analyzer. The distinction between loc:: and nonloc:: SVal namespaces is
16 // BASIC_SVAL(Id, Parent) - for specific SVal sub-kinds, which are
20 // ABSTRACT_SVAL(Id, Parent) - for abstract SVal classes which are
23 // ABSTRACT_SVAL_WITH_KIND(Id, Parent) - for SVal classes which are also
55 BASIC_SVAL(UndefinedVal, SVal)
56 ABSTRACT_SVAL(DefinedOrUnknownSVal, SVal)
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DGTestChecker.cpp112 SVal
114 SVal Instance,
117 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
136 SVal BooleanArgVal = Call->getArgSVal(0); in modelAssertionResultBoolConstructor()
144 SVal ThisVal = Call->getCXXThisVal(); in modelAssertionResultBoolConstructor()
146 SVal ThisSuccess = getAssertionResultSuccessFieldValue( in modelAssertionResultBoolConstructor()
166 SVal OtherVal = Call->getArgSVal(0); in modelAssertionResultCopyConstructor()
167 SVal ThisVal = Call->getCXXThisVal(); in modelAssertionResultCopyConstructor()
250 SVal GTestChecker::getAssertionResultSuccessFieldValue( in getAssertionResultSuccessFieldValue()
251 const CXXRecordDecl *AssertionResultDecl, SVal Instance, in getAssertionResultSuccessFieldValue()
[all …]
H A DArrayBoundCheckerV2.cpp40 void checkLocation(SVal l, bool isLoad, const Stmt*S,
48 SVal byteOffset;
54 RegionRawOffsetV2(const SubRegion* base, SVal offset) in RegionRawOffsetV2()
62 SVal location);
69 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
207 SVal ByteOffset = rawOffset.getByteOffset(); in checkLocation()
276 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
282 static inline SVal scaleValue(ProgramStateRef state, in scaleValue()
292 static SVal addValue(ProgramStateRef state, SVal x, SVal y, in addValue()
311 SVal offset = UndefinedVal(); in computeOffset()
[all …]
H A DCStringChecker.cpp145 SVal Buf,
298 SVal Extent = in CheckLocation()
640 SVal maxMinusRight; in checkAdditionOverflow()
884 SVal BufEnd = in IsFirstBufInBound()
903 SVal Extent = in IsFirstBufInBound()
1166 SVal DestRegCharVal = in evalCopyCommon()
1792 SVal Result; in evalStrcpyCommon()
2029 SVal compareWithZero = in evalStrcmpCommon()
2075 SVal Result; in evalStrsep()
2450 SVal Len = I.getData(); in checkLiveSymbols()
[all …]
H A DIteratorChecker.cpp209 void handleComparison(CheckerContext &C, const SVal &RetVal, const SVal &LVal,
213 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
215 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
218 const SVal &RetVal, const SVal &LHS,
244 const SVal &LHS, const SVal &RHS) const;
278 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
743 void IteratorChecker::checkBind(SVal Loc, SVal Val, const Stmt *S, in checkBind()
891 const SVal &LVal, const SVal &RVal, in handleComparison()
1129 const SVal &RetVal, const SVal &Cont) const { in handleBegin()
1153 const SVal &RetVal, const SVal &Cont) const { in handleEnd()
[all …]
H A DObjCSelfInitChecker.cpp55 static bool isSelfVar(SVal location, CheckerContext &C);
75 void checkLocation(SVal location, bool isLoad, const Stmt *S,
77 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
114 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags()
118 static void addSelfFlag(ProgramStateRef state, SVal val, in addSelfFlag()
135 SVal exprVal = C.getSVal(E); in isInvalidSelf()
186 SVal V = C.getSVal(Msg.getOriginExpr()); in checkPostObjCMessage()
253 SVal argV = CE.getArgSVal(i); in checkPreCall()
281 SVal argV = CE.getArgSVal(i); in checkPostCall()
317 void ObjCSelfInitChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()
[all …]
H A DTestAfterDivZeroChecker.cpp82 void reportBug(SVal Val, CheckerContext &C) const;
88 void setDivZeroMap(SVal Var, CheckerContext &C) const;
89 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
90 bool isZero(SVal S, CheckerContext &C) const;
116 SVal S = Succ->getSVal(E); in REGISTER_SET_WITH_PROGRAMSTATE()
156 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var, in hasDivZeroMap()
206 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
227 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
233 SVal Val; in checkBranchCondition()
248 SVal Val = C.getSVal(IE->getSubExpr()); in checkBranchCondition()
[all …]
H A DBoolAssignmentChecker.cpp29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
54 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S, in checkBind()
85 SVal greaterThanOrEqualToZeroVal = in checkBind()
121 SVal lessThanEqToOneVal = in checkBind()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp27 SVal dispatchCast(SVal val, QualType castTy) override;
52 SVal simplifySVal(ProgramStateRef State, SVal V) override;
69 SVal SimpleSValBuilder::dispatchCast(SVal Val, QualType CastTy) { in dispatchCast()
317 SVal Result = in isInRelation()
890 SVal ResultVal = in evalBinOpLL()
1104 SVal Result = lhs; in evalBinOpLN()
1164 SVal index = UnknownVal(); in evalBinOpLN()
1222 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal()
1241 SVal cache(SymbolRef Sym, SVal V) { in simplifySVal()
1275 SVal RHS; in simplifySVal()
[all …]
H A DStore.cpp249 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { in evalDerivedToBase()
256 SVal Result = Derived; in evalDerivedToBase()
265 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { in evalDerivedToBase()
267 SVal Result = Derived; in evalDerivedToBase()
274 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
315 SVal StoreManager::attemptDownCast(SVal Base, QualType TargetType, in attemptDownCast()
400 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R, in CastRetrievedVal()
433 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) { in getLValueFieldOrIvar()
474 SVal StoreManager::getLValueIvar(const ObjCIvarDecl *decl, SVal base) { in getLValueIvar()
479 SVal Base) { in getLValueElement()
[all …]
H A DRegionStore.cpp833 SVal Extent = Top->getExtent(SVB); in collectSubRegionBindings()
972 void VisitBinding(SVal V);
1188 SVal V = I.getData(); in VisitCluster()
1263 SVal V = *I; in populateWorkList()
1643 SVal Idx = R->getIndex(); in getBindingForElement()
1768 Optional<SVal>
1799 SVal Result; in getLazyBinding()
1826 SVal
2015 SVal V = I->second; in getInterestingValues()
2148 SVal V; in setImplicitDefaultValue()
[all …]
H A DSVals.cpp44 bool SVal::hasConjuredSymbol() const { in hasConjuredSymbol()
63 const FunctionDecl *SVal::getAsFunctionDecl() const { in getAsFunctionDecl()
101 SymbolRef SVal::getLocSymbolInBase() const { in getLocSymbolInBase()
127 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegions) const { in getAsSymbol()
137 const SymExpr *SVal::getAsSymbolicExpression() const { in getAsSymbolicExpression()
144 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr()
151 const MemRegion *SVal::getAsRegion() const { in getAsRegion()
222 bool SVal::isConstant() const { in isConstant()
226 bool SVal::isConstant(int I) const { in isConstant()
234 bool SVal::isZeroConstant() const { in isZeroConstant()
[all …]
H A DExprEngineC.cpp29 static SVal conjureOffsetSymbolOnLocation( in conjureOffsetSymbolOnLocation()
30 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, in conjureOffsetSymbolOnLocation()
130 SVal location = LeftV; in VisitBinaryOperator()
161 SVal LHSVal; in VisitBinaryOperator()
234 SVal originalV; in VisitBlockExpr()
656 SVal X; in VisitLogicalExpr()
736 SVal V; in VisitInitListExpr()
779 SVal V; in VisitGuardedExpr()
1000 SVal Result; in VisitUnaryOperator()
1068 SVal RHS; in VisitIncrementDecrementOperator()
[all …]
H A DBasicValueFactory.cpp33 llvm::ImmutableList<SVal> L) { in Profile()
52 using SValData = std::pair<SVal, uintptr_t>;
53 using SValPair = std::pair<SVal, SVal>;
127 llvm::ImmutableList<SVal> Vals) { in getCompoundValData()
298 const std::pair<SVal, uintptr_t>&
299 BasicValueFactory::getPersistentSValWithData(const SVal& V, uintptr_t Data) { in getPersistentSValWithData()
323 const std::pair<SVal, SVal>&
324 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2) { in getPersistentSValPair()
348 const SVal* BasicValueFactory::getPersistentSVal(SVal X) { in getPersistentSVal()
H A DSValBuilder.cpp100 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
286 Optional<SVal> SValBuilder::getConstantVal(const Expr *E) { in getConstantVal()
348 Optional<SVal> Val = getConstantVal(SE); in getConstantVal()
378 SVal SValBuilder::makeSymExprValNN(BinaryOperator::Opcode Op, in makeSymExprValNN()
406 SVal lhs, SVal rhs, QualType type) { in evalBinOp()
439 SVal rhs) { in areEqual()
443 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ()
450 return evalEQ(state, static_cast<SVal>(lhs), static_cast<SVal>(rhs)) in evalEQ()
490 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val, in evalIntegralCast()
526 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast()
[all …]
H A DExprEngineCXX.cpp43 SVal ThisVal; in performTrivialCopy()
74 SVal V = Call.getArgSVal(0); in performTrivialCopy()
99 SVal ExprEngine::makeZeroElementRegion(ProgramStateRef State, SVal LValue, in makeZeroElementRegion()
148 SVal FieldVal; in prepareForObjectConstruction()
238 SVal V; in prepareForObjectConstruction()
277 SVal V = UnknownVal(); in prepareForObjectConstruction()
319 SVal V = UnknownVal(); in prepareForObjectConstruction()
395 SVal Target = UnknownVal(); in VisitCXXConstructExpr()
715 SVal symVal = UnknownVal(); in VisitCXXNewExpr()
770 SVal Result = symVal; in VisitCXXNewExpr()
[all …]
H A DExprEngineObjC.cpp27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
28 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr()
49 const ObjCForCollectionStmt *S, const Stmt *elem, SVal elementV, in populateObjCForDestinationSet()
57 SVal hasElementsV = svalBuilder.makeTruthVal(hasElements); in populateObjCForDestinationSet()
70 SVal V; in populateObjCForDestinationSet()
118 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
120 SVal elementV; in VisitObjCForCollectionStmt()
188 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage()
252 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()
H A DProgramState.cpp121 SVal V, in bindLoc()
135 ProgramState::bindDefaultInitial(SVal loc, SVal V, in bindDefaultInitial()
154 typedef ArrayRef<SVal> ValueList;
164 SmallVector<SVal, 8> Values; in invalidateRegions()
263 SVal V = getRawSVal(location, T); in getSVal()
338 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, in assumeInBound()
344 SVal newBound = in assumeInBound()
369 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual()
580 bool ScanReachableSymbols::scan(SVal val) { in scan()
671 ProgramStateRef ProgramState::addTaint(SVal V, in addTaint()
[all …]
H A DEnvironment.cpp76 SVal Environment::lookupExpr(const EnvironmentEntry &E) const { in lookupExpr()
77 const SVal* X = ExprBindings.lookup(E); in lookupExpr()
79 SVal V = *X; in lookupExpr()
85 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal()
129 SVal V, in bindExpr()
180 llvm::ImmutableMapRef<EnvironmentEntry, SVal> in removeDeadBindings()
188 const SVal &X = I.getData(); in removeDeadBindings()

12345