/external/clang/lib/StaticAnalyzer/Core/ |
SValBuilder.cpp | 0 // SValBuilder.cpp - Basic class for all SValBuilder implementations -*- C++ -*- 10 // This file defines SValBuilder, the base class for all (complete) SValBuilder 15 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 30 void SValBuilder::anchor() { } 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { 44 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 54 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, 62 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op [all...] |
Android.mk | 43 SValBuilder.cpp \
|
SVals.cpp | 187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, 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());
|
CallEvent.cpp | 285 SValBuilder &SVB, 327 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 497 SValBuilder &SVB = StateMgr.getSValBuilder(); 574 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 598 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 890 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); 941 SValBuilder &SVB = State->getStateManager().getSValBuilder(); [all...] |
Environment.cpp | 69 SValBuilder& svalBuilder) const { 83 return svalBuilder.makeLoc(cast<AddrLabelExpr>(S)); 87 return svalBuilder.makeIntVal(C->getValue(), C->getType()); 91 return svalBuilder.makeBoolVal(cast<CXXBoolLiteralExpr>(S)); 96 return svalBuilder.makeZeroVal(Ty); 100 return svalBuilder.makeIntVal(cast<IntegerLiteral>(S)); 103 return svalBuilder.makeBoolVal(cast<ObjCBoolLiteralExpr>(S)); 107 return svalBuilder.makeNull(); 110 MemRegionManager &MRMgr = svalBuilder.getRegionManager() [all...] |
MemRegion.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { 184 ASTContext &Ctx = svalBuilder.getContext(); 188 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 193 QualType sizeTy = svalBuilder.getArrayIndexType(); 194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 202 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); [all...] |
SimpleSValBuilder.cpp | 1 // SimpleSValBuilder.cpp - A basic SValBuilder -----------------------*- C++ -*- 10 // This file defines SimpleSValBuilder, a basic implementation of SValBuilder. 14 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 22 class SimpleSValBuilder : public SValBuilder { 31 : SValBuilder(alloc, context, stateMgr) {} 52 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, [all...] |
RegionStore.cpp | 606 SValBuilder &svalBuilder; 620 svalBuilder(StateMgr.getSValBuilder()), 750 SValBuilder &SVB, const ClusterBindings &Cluster, 822 SValBuilder &SVB, const ClusterBindings &Cluster, 844 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey, [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
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...] |
BuiltinFunctionChecker.cpp | 66 SValBuilder& svalBuilder = C.getSValBuilder(); 67 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 69 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);
|
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...] |
VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder(); 134 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); 138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 141 SVal ArraySizeVal = svalBuilder.evalBinOpNN( 147 state->getRegion(VD, LC)->getExtent(svalBuilder); 150 svalBuilder.evalEQ(state, Extent, ArraySize);
|
CStringChecker.cpp | 208 SValBuilder &svalBuilder = C.getSValBuilder(); 209 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 210 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 278 SValBuilder &svalBuilder = C.getSValBuilder(); 280 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); 341 SValBuilder &svalBuilder = C.getSValBuilder() [all...] |
MacOSKeychainAPIChecker.cpp | 112 SValBuilder &Builder, 118 SValBuilder &Builder) const { 237 SValBuilder &Builder,
|
MallocChecker.cpp | 577 SValBuilder &svalBuilder = C.getSValBuilder(); 579 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) 597 SValBuilder &svalBuilder = C.getSValBuilder(); 598 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 600 svalBuilder.evalEQ(state, Extent, *DefinedSize); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Environment.h | 28 class SValBuilder; 77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
SVals.h | 39 class SValBuilder; 340 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 343 ConcreteInt evalComplement(SValBuilder &svalBuilder) const; 345 ConcreteInt evalMinus(SValBuilder &svalBuilder) const; 361 friend class ento::SValBuilder; 403 friend class ento::SValBuilder; 429 friend class ento::SValBuilder; [all...] |
SValBuilder.h | 0 // SValBuilder.h - Construction of SVals from evaluating expressions -*- C++ -*- 10 // This file defines SValBuilder, a class that defines the interface for 31 class SValBuilder { 62 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, 71 virtual ~SValBuilder() {} 317 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
MemRegion.h | 42 class SValBuilder; 414 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 449 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 509 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 710 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 746 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const [all...] |
CheckerContext.h | 161 SValBuilder &getSValBuilder() {
|
ExprEngine.h | 75 /// svalBuilder - SValBuilder object that creates SVals from expressions. 76 SValBuilder &svalBuilder; 132 SValBuilder &getSValBuilder() { return svalBuilder; } 284 // FIXME: Remove when we migrate over to just using SValBuilder. 433 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; 437 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; 444 return svalBuilder.evalBinOpNN(state, op, L, R, T) [all...] |
Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 42 SValBuilder &svalBuilder; 103 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
ProgramState.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h" 453 OwningPtr<SValBuilder> svalBuilder; 475 ASTContext &getContext() { return svalBuilder->getContext(); } 476 const ASTContext &getContext() const { return svalBuilder->getContext(); } 479 return svalBuilder->getBasicValueFactory(); 482 SValBuilder &getSValBuilder() { 483 return *svalBuilder; 487 return svalBuilder->getSymbolManager(); 490 return svalBuilder->getSymbolManager() [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
BugReporter.h | 552 SValBuilder& getSValBuilder() {
|