Searched refs:svalBuilder (Results 1 - 25 of 26) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument
73 return svalBuilder.makeZeroArrayIndex();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local
102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location);
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
116 svalBuilder.getConditionType());
141 rawOffset.getRegion()->getExtent(svalBuilder);
146 = svalBuilder
225 getValue(SVal val, SValBuilder &svalBuilder) argument
241 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument
255 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument
[all...]
H A DBoolAssignmentChecker.cpp80 SValBuilder &svalBuilder = C.getSValBuilder(); local
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
87 svalBuilder.getConditionType());
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
123 svalBuilder.getConditionType());
H A DVLASizeChecker.cpp135 SValBuilder &svalBuilder = C.getSValBuilder(); local
138 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
140 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
157 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
161 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
164 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
170 state->getRegion(VD, LC)->getExtent(svalBuilder);
173 svalBuilder.evalEQ(state, Extent, ArraySize);
H A DBuiltinFunctionChecker.cpp69 SValBuilder& svalBuilder = C.getSValBuilder(); local
70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
72 svalBuilder.evalEQ(state, Extent, Size);
H A DCastSizeChecker.cpp115 SValBuilder &svalBuilder = C.getSValBuilder();
116 SVal extent = SR->getExtent(svalBuilder);
117 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
H A DCStringChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder();
214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
215 return state->assume(svalBuilder.evalEQ(state, *val, zero));
284 SValBuilder &svalBuilder = C.getSValBuilder(); local
286 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder));
348 SValBuilder &svalBuilder = C.getSValBuilder();
349 ASTContext &Ctx = svalBuilder.getContext();
374 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
375 NonLoc LastOffset = svalBuilder
673 SValBuilder &svalBuilder = C.getSValBuilder(); local
745 SValBuilder &svalBuilder = C.getSValBuilder(); local
1074 SValBuilder &svalBuilder = C.getSValBuilder(); local
1727 SValBuilder &svalBuilder = C.getSValBuilder(); local
[all...]
H A DStreamChecker.cpp213 SValBuilder &svalBuilder = C.getSValBuilder(); local
215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
H A DBasicObjCFoundationChecks.cpp580 SValBuilder &svalBuilder = C.getSValBuilder();
582 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
H A DMallocChecker.cpp1084 SValBuilder &svalBuilder = C.getSValBuilder(); local
1086 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1100 SValBuilder &svalBuilder = C.getSValBuilder(); local
1101 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
1103 svalBuilder.evalEQ(State, Extent, *DefinedSize);
1893 SValBuilder &svalBuilder = C.getSValBuilder(); local
1896 svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
1911 svalBuilder.evalEQ(State, Arg1Val,
1912 svalBuilder
[all...]
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp50 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);
193 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T,
325 V = svalBuilder
[all...]
H A DSVals.cpp195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument
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());
H A DStore.cpp25 : 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>();
483 nonloc::ConcreteInt NewIdx(svalBuilder
[all...]
H A DExprEngineObjC.cpp100 SVal TrueV = svalBuilder.makeTruthVal(1);
104 SVal FalseV = svalBuilder.makeTruthVal(0);
117 SVal V = svalBuilder.makeLoc(Sym);
121 SVal nilV = svalBuilder.makeIntVal(0, T);
H A DRegionStore.cpp655 SValBuilder &svalBuilder; member in class:__anon1422::ClusterAnalysis
686 svalBuilder(StateMgr.getSValBuilder()),
917 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1052 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1073 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1082 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1088 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1104 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
1212 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
1213 const llvm::APSInt *SizeInt = svalBuilder
[all...]
H A DEnvironment.cpp70 SValBuilder& svalBuilder) const {
94 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue();
99 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
H A DMemRegion.cpp183 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);
207 QualType T = getDesugaredValueType(svalBuilder.getContext());
216 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const {
217 return nonloc::SymbolVal(svalBuilder
[all...]
H A DExprEngineCXX.cpp246 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy);
399 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
401 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
453 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(),
492 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
508 svalBuilder.getRegionManager().getCXXThisRegion(
H A DProgramState.cpp76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)),
315 SValBuilder &svalBuilder = SM.getSValBuilder(); local
316 ASTContext &Ctx = svalBuilder.getContext();
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
H A DExprEngine.cpp81 svalBuilder(StateMgr.getSValBuilder()),
131 svalBuilder.makeZeroVal(T),
132 svalBuilder.getConditionType());
168 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
469 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
834 svalBuilder.makeIntValWithPtrWidth(0, false));
932 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
973 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
1776 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state,
1866 SVal V = svalBuilder
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DEnvironment.h77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
H A DExprEngine.h74 /// svalBuilder - SValBuilder object that creates SVals from expressions.
75 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine
131 SValBuilder &getSValBuilder() { return svalBuilder; }
463 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X;
467 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X;
474 return svalBuilder.evalBinOpNN(state, op, L, R, T);
479 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
485 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
H A DProgramState.h458 std::unique_ptr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager
480 ASTContext &getContext() { return svalBuilder->getContext(); }
481 const ASTContext &getContext() const { return svalBuilder->getContext(); }
484 return svalBuilder->getBasicValueFactory();
488 return *svalBuilder;
492 return svalBuilder->getSymbolManager();
495 return svalBuilder->getSymbolManager();
501 return svalBuilder->getRegionManager();
504 return svalBuilder->getRegionManager();
696 *getStateManager().svalBuilder);
[all...]
H A DStore.h42 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager
88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
H A DSVals.h348 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
351 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
353 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
H A DMemRegion.h426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
461 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
521 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
725 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
761 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
941 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;

Completed in 224 milliseconds

12