| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
73 return svalBuilder.makeZeroArrayIndex();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV
[all...] |
| BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder();
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
87 svalBuilder.getConditionType());
93 // The SValBuilder cannot construct a valid SVal for this condition.
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
123 svalBuilder.getConditionType());
129 // The SValBuilder cannot construct a valid SVal for this condition
[all...] |
| VLASizeChecker.cpp | 134 SValBuilder &svalBuilder = C.getSValBuilder();
137 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
139 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
156 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
160 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
163 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
169 state->getRegion(VD, LC)->getExtent(svalBuilder);
172 svalBuilder.evalEQ(state, Extent, ArraySize);
|
| BuiltinFunctionChecker.cpp | 70 SValBuilder& svalBuilder = C.getSValBuilder();
71 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
73 svalBuilder.evalEQ(state, Extent, Size);
88 SValBuilder &SVB = C.getSValBuilder();
|
| CStringChecker.cpp | 226 SValBuilder &svalBuilder = C.getSValBuilder();
227 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
228 return state->assume(svalBuilder.evalEQ(state, *val, zero));
297 SValBuilder &svalBuilder = C.getSValBuilder();
299 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
361 SValBuilder &svalBuilder = C.getSValBuilder()
[all...] |
| CastSizeChecker.cpp | 112 SValBuilder &svalBuilder = C.getSValBuilder();
113 SVal extent = SR->getExtent(svalBuilder);
114 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
199 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
209 return svalBuilder.makeIntVal(~getValue());
213 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
214 return svalBuilder.makeIntVal(-getValue());
|
| ExprEngineC.cpp | 50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
146 V = svalBuilder.evalCast(V, CLHSTy, LTy);
149 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
161 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
164 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
169 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
194 SVal V = svalBuilder.getBlockPointer(BD, T,
345 // Delegate to SValBuilder to process
[all...] |
| Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
47 NonLoc idx = svalBuilder.makeArrayIndex(index);
48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
57 NonLoc idx = svalBuilder.makeZeroArrayIndex();
373 ASTContext &Ctx = svalBuilder.getContext();
381 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
385 return svalBuilder.dispatchCast(V, castTy);
443 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
469 // SValBuilder here to add the two offsets without checking their types
[all...] |
| ExprEngineObjC.cpp | 100 SVal TrueV = svalBuilder.makeTruthVal(1);
104 SVal FalseV = svalBuilder.makeTruthVal(0);
117 SVal V = svalBuilder.makeLoc(Sym);
121 SVal nilV = svalBuilder.makeIntVal(0, T);
|
| RegionStore.cpp | 651 SValBuilder &svalBuilder;
672 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
800 SValBuilder &SVB, const ClusterBindings &Cluster,
872 SValBuilder &SVB, const ClusterBindings &Cluster,
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
