/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 69 SValBuilder& svalBuilder = C.getSValBuilder(); local 70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 72 svalBuilder.evalEQ(state, Extent, Size);
|
H A D | BoolAssignmentChecker.cpp | 80 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 D | ArrayBoundCheckerV2.cpp | 60 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 D | VLASizeChecker.cpp | 135 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 D | StreamChecker.cpp | 213 SValBuilder &svalBuilder = C.getSValBuilder(); local 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
H A D | 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(); 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 D | MallocChecker.cpp | 1084 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 D | SVals.cpp | 195 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 D | ProgramState.cpp | 76 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 D | RegionStore.cpp | 655 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...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 74 /// 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 D | Store.h | 42 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager 88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
H A D | ProgramState.h | 458 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...] |