/external/clang/lib/StaticAnalyzer/Checkers/ |
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 | 67 SValBuilder& svalBuilder = C.getSValBuilder(); 68 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 70 svalBuilder.evalEQ(state, Extent, Size); 85 SValBuilder &SVB = C.getSValBuilder();
|
VLASizeChecker.cpp | 132 SValBuilder &svalBuilder = C.getSValBuilder(); 135 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); 139 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 142 SVal ArraySizeVal = svalBuilder.evalBinOpNN( 148 state->getRegion(VD, LC)->getExtent(svalBuilder); 151 svalBuilder.evalEQ(state, Extent, ArraySize);
|
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...] |
StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder(); 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
CStringChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder(); 214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 215 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 284 SValBuilder &svalBuilder = C.getSValBuilder(); 286 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); 348 SValBuilder &svalBuilder = C.getSValBuilder() [all...] |
MallocChecker.cpp | [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 42 SValBuilder &svalBuilder; 88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
ExprEngine.h | 74 /// svalBuilder - SValBuilder object that creates SVals from expressions. 75 SValBuilder &svalBuilder; 131 SValBuilder &getSValBuilder() { return svalBuilder; } 297 // FIXME: Remove when we migrate over to just using SValBuilder. 450 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; 454 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; 461 return svalBuilder.evalBinOpNN(state, op, L, R, T) [all...] |
ProgramState.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 457 std::unique_ptr<SValBuilder> svalBuilder; 479 ASTContext &getContext() { return svalBuilder->getContext(); } 480 const ASTContext &getContext() const { return svalBuilder->getContext(); } 483 return svalBuilder->getBasicValueFactory(); 486 SValBuilder &getSValBuilder() { 487 return *svalBuilder; 491 return svalBuilder->getSymbolManager(); 494 return svalBuilder->getSymbolManager() [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
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>(),
|
RegionStore.cpp | 654 SValBuilder &svalBuilder; 685 svalBuilder(StateMgr.getSValBuilder()), 814 SValBuilder &SVB, const ClusterBindings &Cluster, [all...] |