| /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
17 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
28 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) {
41 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
50 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
58 SVal SValBuilder::convertToArrayIndex(SVal val) {
73 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region)
[all...] |
| Android.mk | 42 SValBuilder.cpp \
|
| 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());
|
| 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...] |
| 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();
|
| ExprEngineCallAndReturn.cpp | 202 SValBuilder &SVB = Eng.getSValBuilder();
|
| 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();
|
| 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"
21 class SimpleSValBuilder : public SValBuilder {
29 : SValBuilder(alloc, context, stateMgr) {}
50 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 27 class SValBuilder;
55 SVal getSVal(const Stmt *Ex, SValBuilder& svalBuilder,
|
| 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...] |
| SValBuilder.h | 0 // SValBuilder.h - Construction of SVals from evaluating expressions -*- C++ -*-
10 // This file defines SValBuilder, a class that defines the interface for
30 class SValBuilder {
58 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
67 virtual ~SValBuilder() {}
256 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
| CheckerContext.h | 94 SValBuilder &getSValBuilder() {
|
| 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...] |
| 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...] |
| 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));
|
| /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...] |
| AdjustedReturnValueChecker.cpp | 83 SValBuilder &svalBuilder = C.getSValBuilder();
84 V = svalBuilder.evalCast(V, expectedResultTy, actualResultTy);
|
| 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);
|
| 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);
|
| 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...] |
| MacOSKeychainAPIChecker.cpp | 109 SValBuilder &Builder,
115 SValBuilder &Builder) const {
242 SValBuilder &Builder,
|
| 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...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 401 SValBuilder& getSValBuilder() {
|
