| /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() {
|
