| /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...] |
| BuiltinFunctionChecker.cpp | 69 SValBuilder& svalBuilder = C.getSValBuilder();
70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
72 svalBuilder.evalEQ(state, Extent, Size);
|
| VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder();
134 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
141 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
147 state->getRegion(VD, LC)->getExtent(svalBuilder);
150 svalBuilder.evalEQ(state, Extent, ArraySize);
|
| CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder();
57 SVal extent = SR->getExtent(svalBuilder);
58 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
| CStringChecker.cpp | 210 SValBuilder &svalBuilder = C.getSValBuilder();
211 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
212 return state->assume(svalBuilder.evalEQ(state, *val, zero));
280 SValBuilder &svalBuilder = C.getSValBuilder();
282 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
343 SValBuilder &svalBuilder = C.getSValBuilder()
[all...] |
| StreamChecker.cpp | 211 SValBuilder &svalBuilder = C.getSValBuilder();
213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
|
| BasicObjCFoundationChecks.cpp | 541 SValBuilder &svalBuilder = C.getSValBuilder();
543 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
546 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
913 SValBuilder &SvalBuilder = C.getSValBuilder();
915 SvalBuilder.evalBinOp(State, BO_GT,
917 SvalBuilder.makeIntVal(0, (*CountS)->getType()),
918 SvalBuilder.getConditionType());
922 // The SValBuilder cannot construct a valid SVal for this condition
[all...] |
| MallocChecker.cpp | 755 SValBuilder &svalBuilder = C.getSValBuilder();
757 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
775 SValBuilder &svalBuilder = C.getSValBuilder();
776 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
778 svalBuilder.evalEQ(State, Extent, *DefinedSize);
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count);
73 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
79 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
139 V = svalBuilder.evalCast(V, CLHSTy, LTy);
142 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
154 LHSVal = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, LTy,
157 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
162 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
186 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T,
314 // Delegate to SValBuilder to process
[all...] |
| 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());
|
| 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());
68 NonLoc idx = svalBuilder.makeZeroArrayIndex();
384 ASTContext &Ctx = svalBuilder.getContext();
392 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
396 return svalBuilder.dispatchCast(V, castTy);
454 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
480 // 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;
682 svalBuilder(StateMgr.getSValBuilder()),
812 SValBuilder &SVB, const ClusterBindings &Cluster,
[all...] |
| Environment.cpp | 69 SValBuilder& svalBuilder) const {
92 // Known constants; defer to SValBuilder.
93 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue();
98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
| MemRegion.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
184 ASTContext &Ctx = svalBuilder.getContext();
188 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
193 QualType sizeTy = svalBuilder.getArrayIndexType();
194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
202 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
[all...] |
| ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
229 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy);
353 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
355 symVal = svalBuilder.conjureSymbolVal(0, CNE, LCtx, CNE->getType(),
404 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),
443 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
459 svalBuilder.getRegionManager().getCXXThisRegion(
|
| ProgramState.cpp | 76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
334 // FIXME: This should probably be part of SValBuilder.
336 SValBuilder &svalBuilder = SM.getSValBuilder();
337 ASTContext &Ctx = svalBuilder.getContext();
340 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
347 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
354 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
361 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
|
| ExprEngine.cpp | 70 svalBuilder(StateMgr.getSValBuilder()),
120 svalBuilder.makeZeroVal(T),
157 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
453 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
487 SValBuilder &SVB = getSValBuilder();
681 svalBuilder.makeIntValWithPtrWidth(0, false));
768 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
809 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 75 /// svalBuilder - SValBuilder object that creates SVals from expressions.
76 SValBuilder &svalBuilder;
132 SValBuilder &getSValBuilder() { return svalBuilder; }
293 // FIXME: Remove when we migrate over to just using SValBuilder.
442 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
446 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
453 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| Environment.h | 28 class SValBuilder;
77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| ProgramState.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
458 OwningPtr<SValBuilder> svalBuilder;
480 ASTContext &getContext() { return svalBuilder->getContext(); }
481 const ASTContext &getContext() const { return svalBuilder->getContext(); }
484 return svalBuilder->getBasicValueFactory();
487 SValBuilder &getSValBuilder() {
488 return *svalBuilder;
492 return svalBuilder->getSymbolManager();
495 return svalBuilder->getSymbolManager()
[all...] |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
42 SValBuilder &svalBuilder;
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| SVals.h | 39 class SValBuilder;
348 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
351 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
353 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
369 friend class ento::SValBuilder;
411 friend class ento::SValBuilder;
437 friend class ento::SValBuilder;
[all...] |
| MemRegion.h | 43 class SValBuilder;
429 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
464 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
524 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
725 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
761 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const
[all...] |
