| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 74 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
86 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
96 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
107 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
113 SVal V) = 0;
143 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
145 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
149 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| SVals.h | 9 // This file defines SVal, Loc, and NonLoc, classes that represent
32 // Base SVal types.
72 /// SVal - This represents a symbolic expression, which can be either
75 class SVal {
92 explicit SVal(const void *d, bool isLoc, unsigned ValKind)
95 explicit SVal(BaseKind k, const void *D = nullptr) : Data(D), Kind(k) {}
98 explicit SVal() = default;
100 /// Convert to the specified SVal type, asserting that this SVal is of
108 /// Convert to the specified SVal type, returning None if this SVal i
[all...] |
| SValBuilder.h | 10 // "symbolical evaluators" which construct an SVal from an expression.
75 SVal evalCastKind(UndefinedVal V, QualType CastTy, QualType OriginalTy);
76 SVal evalCastKind(UnknownVal V, QualType CastTy, QualType OriginalTy);
77 SVal evalCastKind(Loc V, QualType CastTy, QualType OriginalTy);
78 SVal evalCastKind(NonLoc V, QualType CastTy, QualType OriginalTy);
79 SVal evalCastSubKind(loc::ConcreteInt V, QualType CastTy,
81 SVal evalCastSubKind(loc::GotoLabel V, QualType CastTy, QualType OriginalTy);
82 SVal evalCastSubKind(loc::MemRegionVal V, QualType CastTy,
84 SVal evalCastSubKind(nonloc::CompoundVal V, QualType CastTy,
86 SVal evalCastSubKind(nonloc::ConcreteInt V, QualType CastTy
[all...] |
| DynamicExtent.h | 43 /// Returns with an SVal that represents the extent, this is Unknown if the
54 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV);
|
| BasicValueFactory.h | 43 llvm::ImmutableList<SVal> L;
46 CompoundValData(QualType t, llvm::ImmutableList<SVal> l) : T(t), L(l) {
50 using iterator = llvm::ImmutableList<SVal>::iterator;
56 llvm::ImmutableList<SVal> L);
117 llvm::ImmutableList<SVal>::Factory SValListFactory;
240 llvm::ImmutableList<SVal> Vals);
249 llvm::ImmutableList<SVal> getEmptySValList() {
253 llvm::ImmutableList<SVal> prependSVal(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| ProgramState.h | 85 Environment Env; // Maps a Stmt to its current SVal.
217 /// Check if the given SVal is not constrained to zero and is not
219 ConditionTruthVal isNonNull(SVal V) const;
221 /// Check if the given SVal is constrained to zero or is a zero
223 ConditionTruthVal isNull(SVal V) const;
226 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
238 const LocationContext *LCtx, SVal V,
241 LLVM_NODISCARD ProgramStateRef bindLoc(Loc location, SVal V,
245 LLVM_NODISCARD ProgramStateRef bindLoc(SVal location, SVal V
[all...] |
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| IteratorRangeChecker.cpp | 37 void verifyDereference(CheckerContext &C, SVal Val) const;
38 void verifyIncrement(CheckerContext &C, SVal Iter) const;
39 void verifyDecrement(CheckerContext &C, SVal Iter) const;
41 SVal LHS, SVal RHS) const;
42 void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
43 void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
44 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const
[all...] |
| IteratorModeling.cpp | 43 // To handle any of these three different representations stored in an SVal we
92 SVal, SVal, SVal) const;
100 void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
101 const SVal &LVal, const SVal &RVal,
104 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
106 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter
[all...] |
| Taint.h | 35 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State, SVal V,
48 LLVM_NODISCARD ProgramStateRef removeTaint(ProgramStateRef State, SVal V);
70 bool isTainted(ProgramStateRef State, SVal V,
91 const SVal V;
94 TaintBugVisitor(const SVal V) : V(V) {}
|
| GTestChecker.cpp | 111 SVal
113 SVal Instance,
116 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
135 SVal BooleanArgVal = Call->getArgSVal(0);
143 SVal ThisVal = Call->getCXXThisVal();
145 SVal ThisSuccess = getAssertionResultSuccessFieldValue(
165 SVal OtherVal = Call->getArgSVal(0);
166 SVal ThisVal = Call->getCXXThisVal();
171 SVal ThisSuccess = getAssertionResultSuccessFieldValue(AssertResultClassDecl
[all...] |
| MismatchedIteratorChecker.cpp | 35 void verifyMatch(CheckerContext &C, const SVal &Iter,
37 void verifyMatch(CheckerContext &C, const SVal &Iter1,
38 const SVal &Iter2) const;
39 void reportBug(const StringRef &Message, const SVal &Val1,
40 const SVal &Val2, CheckerContext &C,
42 void reportBug(const StringRef &Message, const SVal &Val,
170 SVal LHS = UndefinedVal();
198 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext());
199 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext());
203 void MismatchedIteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter
[all...] |
| ArrayBoundCheckerV2.cpp | 42 void checkLocation(SVal l, bool isLoad, const Stmt*S,
50 SVal byteOffset;
56 RegionRawOffsetV2(const SubRegion* base, SVal offset)
64 SVal location);
71 static SVal computeExtentBegin(SValBuilder &svalBuilder,
116 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
144 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
156 SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,
194 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,
208 SVal ByteOffset = rawOffset.getByteOffset()
[all...] |
| InvalidatedIteratorChecker.cpp | 36 void verifyAccess(CheckerContext &C, const SVal &Val) const;
37 void reportBug(const StringRef &Message, const SVal &Val,
82 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext());
93 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext());
103 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext());
113 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext());
117 void InvalidatedIteratorChecker::verifyAccess(CheckerContext &C, const SVal &Val) const {
130 const SVal &Val, CheckerContext &C,
|
| BoolAssignmentChecker.cpp | 28 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
55 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S,
|
| ObjCSelfInitChecker.cpp | 54 static bool isSelfVar(SVal location, CheckerContext &C);
74 void checkLocation(SVal location, bool isLoad, const Stmt *S,
76 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
106 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
113 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
117 static void addSelfFlag(ProgramStateRef state, SVal val,
119 // We tag the symbol that the SVal wraps.
126 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
134 SVal exprVal = C.getSVal(E)
[all...] |
| UndefinedAssignmentChecker.cpp | 29 void checkBind(SVal location, SVal val, const Stmt *S,
34 void UndefinedAssignmentChecker::checkBind(SVal location, SVal val,
|
| CheckerDocumentation.cpp | 142 void checkNewAllocator(const CXXNewExpr *NE, SVal Target,
154 void checkLocation(SVal Loc, bool IsLoad, const Stmt *S,
164 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const {}
240 SVal Cond,
|
| NonnullGlobalConstantsChecker.cpp | 44 void checkLocation(SVal l, bool isLoad, const Stmt *S,
50 bool isGlobalConstString(SVal V) const;
69 void NonnullGlobalConstantsChecker::checkLocation(SVal location, bool isLoad,
79 SVal V = State->getSVal(location.castAs<Loc>());
93 bool NonnullGlobalConstantsChecker::isGlobalConstString(SVal V) const {
|
| TestAfterDivZeroChecker.cpp | 81 void reportBug(SVal Val, CheckerContext &C) const;
87 void setDivZeroMap(SVal Var, CheckerContext &C) const;
88 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
89 bool isZero(SVal S, CheckerContext &C) const;
115 SVal S = Succ->getSVal(E);
134 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
144 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
155 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,
165 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
205 SVal S = C.getSVal(B->getRHS())
[all...] |
| ContainerModeling.cpp | 35 void handleBegin(CheckerContext &C, const Expr *CE, SVal RetVal,
36 SVal Cont) const;
37 void handleEnd(CheckerContext &C, const Expr *CE, SVal RetVal,
38 SVal Cont) const;
39 void handleAssignment(CheckerContext &C, SVal Cont, const Expr *CE = nullptr,
40 SVal OldCont = UndefinedVal()) const;
41 void handleAssign(CheckerContext &C, SVal Cont, const Expr *ContE) const;
42 void handleClear(CheckerContext &C, SVal Cont, const Expr *ContE) const;
43 void handlePushBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
44 void handlePopBack(CheckerContext &C, SVal Cont, const Expr *ContE) const
[all...] |
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| DynamicExtent.cpp | 50 SVal ElementSize = getElementExtent(ElementTy, SVB);
52 SVal ElementCount =
58 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) {
|
| SVals.cpp | 9 // This file defines SVal, Loc, and NonLoc, classes that represent
37 // Symbol iteration within an SVal.
44 bool SVal::hasConjuredSymbol() const {
63 const FunctionDecl *SVal::getAsFunctionDecl() const {
78 /// If this SVal is a location (subclasses Loc) and wraps a symbol,
85 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const {
96 /// Get the symbol in the SVal or its base region.
97 SymbolRef SVal::getLocSymbolInBase() const {
115 /// If this SVal wraps a symbol return that SymbolRef.
121 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegions) const
[all...] |
| Store.cpp | 229 static bool regionMatchesCXXRecordType(SVal V, QualType Ty) {
249 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
256 SVal Result = Derived;
265 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) {
267 SVal Result = Derived;
274 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType,
315 SVal StoreManager::attemptDownCast(SVal Base, QualType TargetType
[all...] |
| SimpleSValBuilder.cpp | 31 SVal evalMinus(NonLoc val) override;
32 SVal evalComplement(NonLoc val) override;
33 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
35 SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
37 SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
40 /// getKnownValue - evaluates a given SVal. If the SVal has only one possible
42 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
46 SVal simplifySVal(ProgramStateRef State, SVal V) override
[all...] |
| RegionStore.cpp | 146 typedef llvm::ImmutableMap<BindingKey, SVal> ClusterBindings;
147 typedef llvm::ImmutableMapRef<BindingKey, SVal> ClusterBindingsRef;
148 typedef std::pair<BindingKey, SVal> BindingPair;
196 RegionBindingsRef addBinding(BindingKey K, SVal V) const;
199 BindingKey::Kind k, SVal V) const;
201 const SVal *lookup(BindingKey K) const;
202 const SVal *lookup(const MemRegion *R, BindingKey::Kind k) const;
215 Optional<SVal> getDirectBinding(const MemRegion *R) const;
217 /// getDefaultBinding - Returns an SVal* representing an optional default
219 Optional<SVal> getDefaultBinding(const MemRegion *R) const
[all...] |
