| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 57 SValBuilder &svalBuilder,
65 static SVal computeExtentBegin(SValBuilder &svalBuilder,
70 return svalBuilder.makeZeroArrayIndex();
96 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
98 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
107 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
111 = svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset()
[all...] |
| VLASizeChecker.cpp | 106 SValBuilder &svalBuilder = C.getSValBuilder();
108 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy,
113 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
116 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
122 state->getRegion(VD, LC)->getExtent(svalBuilder);
125 svalBuilder.evalEQ(state, Extent, ArraySize);
|
| BuiltinFunctionChecker.cpp | 69 SValBuilder& svalBuilder = C.getSValBuilder();
70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
72 svalBuilder.evalEQ(state, Extent, Size);
|
| CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder();
57 SVal extent = SR->getExtent(svalBuilder);
58 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
| CStringChecker.cpp | 172 SValBuilder &svalBuilder = C.getSValBuilder();
173 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
174 return state->assume(svalBuilder.evalEQ(state, *val, zero));
239 SValBuilder &svalBuilder = C.getSValBuilder();
241 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
302 SValBuilder &svalBuilder = C.getSValBuilder()
[all...] |
| AdjustedReturnValueChecker.cpp | 83 SValBuilder &svalBuilder = C.getSValBuilder();
84 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
| OSAtomicChecker.cpp | 148 SValBuilder &svalBuilder = Engine.getSValBuilder();
151 DefinedOrUnknownSVal Cmp = svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal);
164 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
|
| MallocChecker.cpp | 223 SValBuilder &svalBuilder = C.getSValBuilder();
226 SVal retVal = svalBuilder.getConjuredSymbolVal(NULL, CE, CE->getType(), Count);
234 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
237 svalBuilder.evalEQ(state, Extent, DefinedSize);
499 SValBuilder &svalBuilder = C.getSValBuilder();
502 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());
515 svalBuilder.evalEQ(state, Arg1Val
[all...] |
| BasicObjCFoundationChecks.cpp | 396 SValBuilder &svalBuilder = C.getSValBuilder();
397 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType()));
400 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 22 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
23 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
32 NonLoc idx = svalBuilder.makeArrayIndex(index);
33 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
53 NonLoc idx = svalBuilder.makeZeroArrayIndex();
220 ASTContext &Ctx = svalBuilder.getContext();
228 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
233 return svalBuilder.evalCastFromLoc(*L, castTy);
235 return svalBuilder.evalCastFromNonLoc(*NL, castTy);
292 Offset = cast<NonLoc>(svalBuilder.convertToArrayIndex(Offset))
[all...] |
| Environment.cpp | 30 SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder,
47 return svalBuilder.makeLoc(cast<AddrLabelExpr>(E));
60 return svalBuilder.makeIntVal(C->getValue(), C->getType());
67 return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(E));
75 return svalBuilder.makeIntVal(cast<IntegerLiteral>(E));
79 return svalBuilder.makeNull();
|
| BasicStore.cpp | 155 return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
158 return svalBuilder.makeZeroVal(T);
169 return svalBuilder.getRegionValueSymbolVal(R);
356 newStore = Remove(newStore.getStore(), svalBuilder.makeLoc(R));
387 SVal X = svalBuilder.getRegionValueSymbolVal(IVR);
388 newStore = Bind(newStore.getStore(), svalBuilder.makeLoc(IVR), X);
419 svalBuilder.getRegionValueSymbolVal(VR).getAsRegion();
421 St = Bind(St.getStore(), svalBuilder.makeLoc(VR),
436 MemRegionManager &RegMgr = svalBuilder.getRegionManager();
438 SVal ThisV = svalBuilder.getRegionValueSymbolVal(ThisR)
[all...] |
| RegionStore.cpp | 473 SValBuilder &svalBuilder;
483 svalBuilder(StateMgr.getSValBuilder()),
676 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count);
692 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count);
700 svalBuilder.getConjuredSymbolVal(baseR, Ex, AT->getElementType(), Count);
715 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, T, Count);
748 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex,
769 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
770 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size)
[all...] |
| SVals.cpp | 226 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
230 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
239 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
240 return svalBuilder.makeIntVal(~getValue());
244 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
245 return svalBuilder.makeIntVal(-getValue());
|
| MemRegion.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
180 DefinedOrUnknownSVal DeclRegion::getExtent(SValBuilder &svalBuilder) const {
181 ASTContext& Ctx = svalBuilder.getContext();
185 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
190 QualType sizeTy = svalBuilder.getArrayIndexType();
191 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
194 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
195 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
[all...] |
| CXXExprEngine.cpp | 97 return svalBuilder.getRegionManager().getCXXThisRegion(PT, SFC);
102 return svalBuilder.getRegionManager().
118 svalBuilder.getRegionManager().getCXXTempObjectRegion(Ex,
171 svalBuilder.getRegionManager().getCXXTempObjectRegion(E,
273 svalBuilder.getConjuredSymbolVal(NULL, CNE, CNE->getType(), blockCount);
363 svalBuilder.getRegionManager().getCXXThisRegion(
|
| ExprEngine.cpp | 74 svalBuilder(StateMgr.getSValBuilder()),
126 svalBuilder.makeZeroVal(T),
515 state = state->BindExpr(S, svalBuilder.makeIntValWithPtrWidth(0, false));
531 SVal val = svalBuilder.makeZeroVal(ty);
[all...] |
| GRState.cpp | 281 // FIXME: This should probably be part of SValBuilder.
283 SValBuilder &svalBuilder = SM.getSValBuilder();
284 ASTContext &Ctx = svalBuilder.getContext();
287 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
293 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
300 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound),
307 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT,
|
| FlatStore.cpp | 129 return svalBuilder.getRegionValueSymbolVal(cast<TypedRegion>(R));
167 return Bind(store, svalBuilder.makeLoc(VR), initVal);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 28 class SValBuilder;
56 SVal getSVal(const Stmt* Ex, SValBuilder& svalBuilder,
|
| ExprEngine.h | 57 /// svalBuilder - SValBuilder object that creates SVals from expressions.
58 SValBuilder &svalBuilder;
111 SValBuilder &getSValBuilder() { return svalBuilder; }
206 // FIXME: Remove when we migrate over to just using SValBuilder.
396 return X.isValid() ? svalBuilder.evalMinus(cast<NonLoc>(X)) : X;
400 return X.isValid() ? svalBuilder.evalComplement(cast<NonLoc>(X)) : X;
407 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| GRState.h | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
441 llvm::OwningPtr<SValBuilder> svalBuilder;
462 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
475 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
485 ASTContext &getContext() { return svalBuilder->getContext(); }
486 const ASTContext &getContext() const { return svalBuilder->getContext(); }
489 return svalBuilder->getBasicValueFactory();
492 return svalBuilder->getBasicValueFactory();
495 SValBuilder &getSValBuilder()
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
38 SValBuilder &svalBuilder;
93 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
97 return svalBuilder.makeLoc(MRMgr.getStringRegion(S));
|
| SVals.h | 42 class SValBuilder;
327 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
330 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
332 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
346 friend class ento::SValBuilder;
380 friend class ento::SValBuilder;
403 friend class ento::SValBuilder;
[all...] |
| MemRegion.h | 42 class SValBuilder;
302 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
337 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
554 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
590 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
651 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const
[all...] |
