| /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()
[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 | 66 SValBuilder& svalBuilder = C.getSValBuilder();
67 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
69 svalBuilder.evalEQ(state, Extent, Size);
|
| VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder();
133 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy,
138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
141 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
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 | 218 SValBuilder &svalBuilder = C.getSValBuilder();
219 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
220 return state->assume(svalBuilder.evalEQ(state, *val, zero));
289 SValBuilder &svalBuilder = C.getSValBuilder();
291 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
352 SValBuilder &svalBuilder = C.getSValBuilder()
[all...] |
| AdjustedReturnValueChecker.cpp | 84 SValBuilder &svalBuilder = C.getSValBuilder();
85 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
| OSAtomicChecker.cpp | 155 SValBuilder &svalBuilder = Eng.getSValBuilder();
159 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal);
172 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
|
| BasicObjCFoundationChecks.cpp | 393 SValBuilder &svalBuilder = C.getSValBuilder();
394 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType()));
397 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
| MallocChecker.cpp | 441 SValBuilder &svalBuilder = C.getSValBuilder();
442 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
445 svalBuilder.evalEQ(state, Extent, DefinedSize);
729 SValBuilder &svalBuilder = C.getSValBuilder();
732 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());
747 svalBuilder.evalEQ(state, Arg1Val,
748 svalBuilder.makeIntValWithPtrWidth(0, false))
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| Environment.cpp | 33 SValBuilder& svalBuilder,
53 return svalBuilder.makeLoc(cast<AddrLabelExpr>(E));
65 return svalBuilder.makeIntVal(C->getValue(), C->getType());
72 return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(E));
80 return svalBuilder.makeIntVal(cast<IntegerLiteral>(E));
83 return svalBuilder.makeBoolVal(cast<ObjCBoolLiteralExpr>(E));
87 return svalBuilder.makeNull();
97 MemRegionManager &MRMgr = svalBuilder.getRegionManager();
99 return svalBuilder.makeLoc(MRMgr.getObjCStringRegion(SL))
[all...] |
| Store.cpp | 23 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
24 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
34 NonLoc idx = svalBuilder.makeArrayIndex(index);
35 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
55 NonLoc idx = svalBuilder.makeZeroArrayIndex();
223 ASTContext &Ctx = svalBuilder.getContext();
231 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
235 return svalBuilder.dispatchCast(V, castTy);
293 Offset = cast<NonLoc>(svalBuilder.convertToArrayIndex(Offset));
318 // SValBuilder here to add the two offsets without checking their types
[all...] |
| ExprEngineC.cpp | 49 RightV = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, Count);
116 V = svalBuilder.evalCast(V, CLHSTy, LTy);
119 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
134 LHSVal = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx,
138 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
143 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
165 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T,
266 // Delegate to SValBuilder to process.
270 V = svalBuilder.evalCast(V, T, ExTy);
314 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull())
[all...] |
| SVals.cpp | 187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
191 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue());
200 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
201 return svalBuilder.makeIntVal(~getValue());
205 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {
206 return svalBuilder.makeIntVal(-getValue());
|
| ExprEngineCXX.cpp | 28 return svalBuilder.getRegionManager().getCXXThisRegion(PT, SFC);
33 return svalBuilder.getRegionManager().
50 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, LCtx);
102 svalBuilder.getRegionManager().getCXXTempObjectRegion(E,
180 svalBuilder.getConjuredSymbolVal(NULL, CNE, LCtx, CNE->getType(), blockCount);
277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(),
293 svalBuilder.getRegionManager().getCXXThisRegion(
|
| 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);
254 SValBuilder &SVB = getSValBuilder();
|
| MemRegion.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
182 DefinedOrUnknownSVal DeclRegion::getExtent(SValBuilder &svalBuilder) const {
183 ASTContext &Ctx = svalBuilder.getContext();
187 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
192 QualType sizeTy = svalBuilder.getArrayIndexType();
193 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
196 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
197 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
[all...] |
| RegionStore.cpp | 493 SValBuilder &svalBuilder;
503 svalBuilder(StateMgr.getSValBuilder()),
698 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
714 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
722 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx,
738 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx,
754 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, LCtx,
820 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
821 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size)
[all...] |
| ProgramState.cpp | 306 // FIXME: This should probably be part of SValBuilder.
308 SValBuilder &svalBuilder = SM.getSValBuilder();
309 ASTContext &Ctx = svalBuilder.getContext();
312 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
319 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
326 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound),
333 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 63 /// svalBuilder - SValBuilder object that creates SVals from expressions.
64 SValBuilder &svalBuilder;
124 SValBuilder &getSValBuilder() { return svalBuilder; }
237 // FIXME: Remove when we migrate over to just using SValBuilder.
394 return X.isValid() ? svalBuilder.evalMinus(cast<NonLoc>(X)) : X;
398 return X.isValid() ? svalBuilder.evalComplement(cast<NonLoc>(X)) : X;
405 return svalBuilder.evalBinOpNN(state, op, L, R, T)
[all...] |
| ProgramState.h | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
413 OwningPtr<SValBuilder> svalBuilder;
430 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
443 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
453 ASTContext &getContext() { return svalBuilder->getContext(); }
454 const ASTContext &getContext() const { return svalBuilder->getContext(); }
457 return svalBuilder->getBasicValueFactory();
460 return svalBuilder->getBasicValueFactory();
463 SValBuilder &getSValBuilder()
[all...] |
| Environment.h | 28 class SValBuilder;
80 SValBuilder &svalBuilder,
|
| SVals.h | 39 class SValBuilder;
300 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
303 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
305 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
319 friend class ento::SValBuilder;
353 friend class ento::SValBuilder;
376 friend class ento::SValBuilder;
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
39 SValBuilder &svalBuilder;
94 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
| MemRegion.h | 41 class SValBuilder;
386 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
421 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
653 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
689 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
784 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const
[all...] |
