/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);
|
StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder(); 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
BasicObjCFoundationChecks.cpp | 579 SValBuilder &svalBuilder = C.getSValBuilder(); 581 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); 584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); [all...] |
MallocChecker.cpp | [all...] |
/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...] |
Environment.cpp | 70 SValBuilder& svalBuilder) const { 94 // Known constants; defer to SValBuilder. 95 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue(); 100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 302 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy); 455 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); 457 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), 509 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), 548 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), 564 svalBuilder.getRegionManager().getCXXThisRegion( 578 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion(
|
MemRegion.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 179 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { 180 ASTContext &Ctx = svalBuilder.getContext(); 184 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 189 QualType sizeTy = svalBuilder.getArrayIndexType(); 190 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 193 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 198 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); [all...] |
ProgramState.cpp | 76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), 313 // FIXME: This should probably be part of SValBuilder. 315 SValBuilder &svalBuilder = SM.getSValBuilder(); 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>(),
|
ExprEngine.cpp | 83 svalBuilder(StateMgr.getSValBuilder()), 133 svalBuilder.makeZeroVal(T), 134 svalBuilder.getConditionType()); 170 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); 471 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); 509 SValBuilder &SVB = getSValBuilder(); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Environment.h | 28 class SValBuilder; 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions. 75 SValBuilder &svalBuilder; 131 SValBuilder &getSValBuilder() { return svalBuilder; } 313 // FIXME: Remove when we migrate over to just using SValBuilder. 478 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; 482 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; 489 return svalBuilder.evalBinOpNN(state, op, L, R, T) [all...] |
ProgramState.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 466 std::unique_ptr<SValBuilder> svalBuilder; 488 ASTContext &getContext() { return svalBuilder->getContext(); } 489 const ASTContext &getContext() const { return svalBuilder->getContext(); } 492 return svalBuilder->getBasicValueFactory(); 495 SValBuilder &getSValBuilder() { 496 return *svalBuilder; 500 return svalBuilder->getSymbolManager(); 503 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 | 41 class SValBuilder; 350 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 353 ConcreteInt evalComplement(SValBuilder &svalBuilder) const; 355 ConcreteInt evalMinus(SValBuilder &svalBuilder) const; 371 friend class ento::SValBuilder; 413 friend class ento::SValBuilder; 439 friend class ento::SValBuilder; [all...] |
MemRegion.h | 42 class SValBuilder; 422 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 457 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 517 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 721 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 757 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override [all...] |