/external/clang/lib/StaticAnalyzer/Checkers/ |
ArrayBoundCheckerV2.cpp | 58 SValBuilder &svalBuilder, 66 static SVal computeExtentBegin(SValBuilder &svalBuilder, 71 return svalBuilder.makeZeroArrayIndex(); 98 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); 100 RegionRawOffsetV2::computeOffset(state, svalBuilder, location); 109 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); 113 = svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset() [all...] |
VLASizeChecker.cpp | 106 SValBuilder &svalBuilder = C.getSValBuilder(); 108 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy, 113 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 116 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength, 122 state->getRegion(VD, LC)->getExtent(svalBuilder); 125 svalBuilder.evalEQ(state, Extent, ArraySize);
|
BuiltinFunctionChecker.cpp | 69 SValBuilder& svalBuilder = C.getSValBuilder(); 70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 72 svalBuilder.evalEQ(state, Extent, Size);
|
CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder(); 57 SVal extent = SR->getExtent(svalBuilder); 58 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
CStringChecker.cpp | 200 SValBuilder &svalBuilder = C.getSValBuilder(); 201 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 202 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 267 SValBuilder &svalBuilder = C.getSValBuilder(); 269 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); 330 SValBuilder &svalBuilder = C.getSValBuilder() [all...] |
AdjustedReturnValueChecker.cpp | 83 SValBuilder &svalBuilder = C.getSValBuilder(); 84 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
OSAtomicChecker.cpp | 168 SValBuilder &svalBuilder = Eng.getSValBuilder(); 172 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal); 185 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
|
MallocChecker.cpp | 225 SValBuilder &svalBuilder = C.getSValBuilder(); 228 SVal retVal = svalBuilder.getConjuredSymbolVal(NULL, CE, CE->getType(), Count); 236 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 239 svalBuilder.evalEQ(state, Extent, DefinedSize); 501 SValBuilder &svalBuilder = C.getSValBuilder(); 504 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull()); 517 svalBuilder.evalEQ(state, Arg1Val [all...] |
BasicObjCFoundationChecks.cpp | 397 SValBuilder &svalBuilder = C.getSValBuilder(); 398 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType())); 401 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
/external/clang/lib/StaticAnalyzer/Core/ |
Store.cpp | 22 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 23 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} 32 NonLoc idx = svalBuilder.makeArrayIndex(index); 33 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); 53 NonLoc idx = svalBuilder.makeZeroArrayIndex(); 218 ASTContext &Ctx = svalBuilder.getContext(); 226 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T)); 231 return svalBuilder.evalCastFromLoc(*L, castTy); 233 return svalBuilder.evalCastFromNonLoc(*NL, castTy); 289 Offset = cast<NonLoc>(svalBuilder.convertToArrayIndex(Offset)) [all...] |
ExprEngineC.cpp | 50 RightV = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), Count); 114 V = svalBuilder.evalCast(V, CLHSTy, LTy); 117 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), 133 LHSVal = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LTy, 137 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); 142 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); 164 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T, 256 // Delegate to SValBuilder to process. 259 V = svalBuilder.evalCast(V, T, ExTy); 291 svalBuilder.getConjuredSymbolVal(NULL, CastE, resultType [all...] |
Environment.cpp | 31 SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder, 48 return svalBuilder.makeLoc(cast<AddrLabelExpr>(E)); 61 return svalBuilder.makeIntVal(C->getValue(), C->getType()); 68 return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(E)); 76 return svalBuilder.makeIntVal(cast<IntegerLiteral>(E)); 80 return svalBuilder.makeNull();
|
RegionStore.cpp | 474 SValBuilder &svalBuilder; 484 svalBuilder(StateMgr.getSValBuilder()), 677 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); 693 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); 701 svalBuilder.getConjuredSymbolVal(baseR, Ex, AT->getElementType(), Count); 716 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, T, Count); 749 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, 770 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder); 771 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size) [all...] |
SVals.cpp | 223 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, 227 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); 236 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { 237 return svalBuilder.makeIntVal(~getValue()); 241 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { 242 return svalBuilder.makeIntVal(-getValue());
|
ExprEngineObjC.cpp | 98 SVal TrueV = svalBuilder.makeTruthVal(1); 102 SVal FalseV = svalBuilder.makeTruthVal(0); 115 SVal V = svalBuilder.makeLoc(Sym); 119 SVal nilV = svalBuilder.makeIntVal(0, T); 262 SValBuilder &SVB = getSValBuilder();
|
MemRegion.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 180 DefinedOrUnknownSVal DeclRegion::getExtent(SValBuilder &svalBuilder) const { 181 ASTContext &Ctx = svalBuilder.getContext(); 185 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 190 QualType sizeTy = svalBuilder.getArrayIndexType(); 191 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 194 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 195 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); [all...] |
ExprEngineCXX.cpp | 98 return svalBuilder.getRegionManager().getCXXThisRegion(PT, SFC); 103 return svalBuilder.getRegionManager(). 118 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, 170 svalBuilder.getRegionManager().getCXXTempObjectRegion(E, 246 svalBuilder.getConjuredSymbolVal(NULL, CNE, CNE->getType(), blockCount); 332 svalBuilder.getRegionManager().getCXXThisRegion(
|
ProgramState.cpp | 273 // FIXME: This should probably be part of SValBuilder. 275 SValBuilder &svalBuilder = SM.getSValBuilder(); 276 ASTContext &Ctx = svalBuilder.getContext(); 279 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); 285 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, 292 svalBuilder.evalBinOpNN(this, BO_Add, cast<NonLoc>(UpperBound), 299 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT,
|
ExprEngine.cpp | 63 svalBuilder(StateMgr.getSValBuilder()), 111 svalBuilder.makeZeroVal(T), 522 state = state->BindExpr(S, svalBuilder.makeIntValWithPtrWidth(0, false)); 539 SVal val = svalBuilder.makeZeroVal(ty); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Environment.h | 27 class SValBuilder; 55 SVal getSVal(const Stmt *Ex, SValBuilder& svalBuilder,
|
ExprEngine.h | 57 /// svalBuilder - SValBuilder object that creates SVals from expressions. 58 SValBuilder &svalBuilder; 112 SValBuilder &getSValBuilder() { return svalBuilder; } 215 // 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" 426 llvm::OwningPtr<SValBuilder> svalBuilder; 447 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), 460 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), 470 ASTContext &getContext() { return svalBuilder->getContext(); } 471 const ASTContext &getContext() const { return svalBuilder->getContext(); } 474 return svalBuilder->getBasicValueFactory(); 477 return svalBuilder->getBasicValueFactory(); 480 SValBuilder &getSValBuilder() [all...] |
Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 38 SValBuilder &svalBuilder; 93 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); 97 return svalBuilder.makeLoc(MRMgr.getStringRegion(S));
|
SVals.h | 38 class SValBuilder; 323 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 326 ConcreteInt evalComplement(SValBuilder &svalBuilder) const; 328 ConcreteInt evalMinus(SValBuilder &svalBuilder) const; 342 friend class ento::SValBuilder; 376 friend class ento::SValBuilder; 399 friend class ento::SValBuilder; [all...] |
MemRegion.h | 41 class SValBuilder; 303 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 338 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 564 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 600 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 661 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const [all...] |