/external/clang/lib/StaticAnalyzer/Checkers/ |
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(), 117 svalBuilder.getConditionType()); 142 rawOffset.getRegion()->getExtent(svalBuilder); 147 = svalBuilder 237 getValue(SVal val, SValBuilder &svalBuilder) argument 253 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument 267 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument [all...] |
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 | BuiltinFunctionChecker.cpp | 66 SValBuilder& svalBuilder = C.getSValBuilder(); local 67 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 69 svalBuilder.evalEQ(state, Extent, Size);
|
H A D | VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder(); local 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);
|
H A D | CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder(); 57 SVal extent = SR->getExtent(svalBuilder); 58 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
H A D | 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(); local 291 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); 352 SValBuilder &svalBuilder = C.getSValBuilder(); 353 ASTContext &Ctx = svalBuilder.getContext(); 378 NonLoc One = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy)); 379 NonLoc LastOffset = cast<NonLoc>(svalBuilder 678 SValBuilder &svalBuilder = C.getSValBuilder(); local 736 SValBuilder &svalBuilder = C.getSValBuilder(); local 1041 SValBuilder &svalBuilder = C.getSValBuilder(); local 1677 SValBuilder &svalBuilder = C.getSValBuilder(); local [all...] |
H A D | AdjustedReturnValueChecker.cpp | 84 SValBuilder &svalBuilder = C.getSValBuilder(); local 85 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
H A D | OSAtomicChecker.cpp | 155 SValBuilder &svalBuilder = Eng.getSValBuilder(); local 159 svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal); 172 val = svalBuilder.evalCast(val,R->getValueType(), newValueExpr->getType());
|
H A D | BasicObjCFoundationChecks.cpp | 393 SValBuilder &svalBuilder = C.getSValBuilder(); 394 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType())); 397 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
H A D | MallocChecker.cpp | 441 SValBuilder &svalBuilder = C.getSValBuilder(); local 442 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 445 svalBuilder.evalEQ(state, Extent, DefinedSize); 729 SValBuilder &svalBuilder = C.getSValBuilder(); local 732 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull()); 747 svalBuilder.evalEQ(state, Arg1Val, 748 svalBuilder.makeIntValWithPtrWidth(0, false)); 810 SValBuilder &svalBuilder = C.getSValBuilder(); local 814 SVal TotalSize = svalBuilder [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Environment.cpp | 33 SValBuilder& svalBuilder, 53 return svalBuilder.makeLoc(cast<AddrLabelExpr>(E)); 65 return svalBuilder.makeIntVal(C->getValue(), C->getType()); 72 return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(E)); 80 return svalBuilder.makeIntVal(cast<IntegerLiteral>(E)); 83 return svalBuilder.makeBoolVal(cast<ObjCBoolLiteralExpr>(E)); 87 return svalBuilder.makeNull(); 97 MemRegionManager &MRMgr = svalBuilder.getRegionManager(); 99 return svalBuilder.makeLoc(MRMgr.getObjCStringRegion(SL)); 102 MemRegionManager &MRMgr = svalBuilder 32 getSVal(const EnvironmentEntry &Entry, SValBuilder& svalBuilder, bool useOnlyDirectBindings) const argument [all...] |
H A D | Store.cpp | 23 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 24 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} 34 NonLoc idx = svalBuilder.makeArrayIndex(index); 35 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); 55 NonLoc idx = svalBuilder.makeZeroArrayIndex(); 223 ASTContext &Ctx = svalBuilder.getContext(); 231 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T)); 235 return svalBuilder.dispatchCast(V, castTy); 293 Offset = cast<NonLoc>(svalBuilder.convertToArrayIndex(Offset)); 332 nonloc::ConcreteInt NewIdx(svalBuilder [all...] |
H A D | ExprEngineC.cpp | 49 RightV = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, Count); 116 V = svalBuilder.evalCast(V, CLHSTy, LTy); 119 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), 134 LHSVal = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, 138 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); 143 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); 165 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T, 270 V = svalBuilder.evalCast(V, T, ExTy); 314 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull()); 319 DefinedOrUnknownSVal NewSym = svalBuilder [all...] |
H A D | SVals.cpp | 187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument 191 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); 200 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { 201 return svalBuilder.makeIntVal(~getValue()); 205 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { 206 return svalBuilder.makeIntVal(-getValue());
|
H A D | ExprEngineCXX.cpp | 28 return svalBuilder.getRegionManager().getCXXThisRegion(PT, SFC); 33 return svalBuilder.getRegionManager(). 50 svalBuilder.getRegionManager().getCXXTempObjectRegion(ME, LCtx); 102 svalBuilder.getRegionManager().getCXXTempObjectRegion(E, 180 svalBuilder.getConjuredSymbolVal(NULL, CNE, LCtx, CNE->getType(), blockCount); 277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(), 293 svalBuilder.getRegionManager().getCXXThisRegion(
|
H A D | 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);
|
H A D | MemRegion.cpp | 182 DefinedOrUnknownSVal DeclRegion::getExtent(SValBuilder &svalBuilder) const { 183 ASTContext &Ctx = svalBuilder.getContext(); 187 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 192 QualType sizeTy = svalBuilder.getArrayIndexType(); 193 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 196 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 197 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); 202 QualType T = getDesugaredValueType(svalBuilder.getContext()); 211 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { 212 return nonloc::SymbolVal(svalBuilder [all...] |
H A D | RegionStore.cpp | 493 SValBuilder &svalBuilder; member in class:__anon3508::ClusterAnalysis 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); 839 return svalBuilder [all...] |
H A D | ProgramState.cpp | 308 SValBuilder &svalBuilder = SM.getSValBuilder(); local 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,
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 63 /// svalBuilder - SValBuilder object that creates SVals from expressions. 64 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine 124 SValBuilder &getSValBuilder() { return 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); 410 return R.isValid() ? svalBuilder.evalBinOpNN(state,op,L, cast<NonLoc>(R), T) : R; 415 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
H A D | ProgramState.h | 413 OwningPtr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager 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(); 464 return *svalBuilder; 468 return svalBuilder->getSymbolManager(); 471 return svalBuilder [all...] |
H A D | Environment.h | 80 SValBuilder &svalBuilder,
|
H A D | Store.h | 39 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager 94 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
H A D | SVals.h | 300 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 303 ConcreteInt evalComplement(SValBuilder &svalBuilder) const; 305 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
|
H A D | MemRegion.h | 386 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 421 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 653 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 689 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 784 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 869 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
|