/external/clang/lib/StaticAnalyzer/Checkers/ |
AdjustedReturnValueChecker.cpp | 84 SValBuilder &svalBuilder = C.getSValBuilder(); 85 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
BuiltinFunctionChecker.cpp | 66 SValBuilder& svalBuilder = C.getSValBuilder(); 67 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 69 svalBuilder.evalEQ(state, Extent, Size);
|
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...] |
OSAtomicChecker.cpp | 155 SValBuilder &svalBuilder = Eng.getSValBuilder(); 159 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal); 172 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
|
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);
|
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...] |
StreamChecker.cpp | 223 SValBuilder &svalBuilder = C.getSValBuilder(); 226 cast<DefinedSVal>(svalBuilder.getConjuredSymbolVal(0, CE, LCtx, Count));
|
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...] |
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/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...] |
Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 39 SValBuilder &svalBuilder; 94 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
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...] |
/external/clang/lib/StaticAnalyzer/Core/ |
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,
|
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...] |