| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
62 const MemRegion *getRegion() const { return R; }
78 /// MemRegion - The root abstract class for all memory regions.
79 class MemRegion : public llvm::FoldingSetNode {
129 MemRegion(Kind k) : kind(k) {}
130 virtual ~MemRegion();
[all...] |
| SubEngine.h | 41 class MemRegion;
108 ArrayRef<const MemRegion *> ExplicitRegions,
109 ArrayRef<const MemRegion *> Regions,
115 const MemRegion* MR) {
125 ArrayRef<const MemRegion *> ExplicitRegions,
126 ArrayRef<const MemRegion *> Regions,
|
| Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
99 /// used to query and manipulate MemRegion objects.
122 const MemRegion *region,
152 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
155 /// a MemRegion* to a specific location type. 'R' is the region being
157 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
163 const MemRegion *region) const = 0;
174 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions
[all...] |
| SymbolManager.h | 38 class MemRegion;
123 ///\brief A symbol representing the value stored at a MemRegion.
198 /// A symbol representing the value of a MemRegion whose parent region has
268 const MemRegion* R;
274 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t,
278 const MemRegion *getRegion() const { return R; }
287 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R,
492 /// \brief Make a unique symbol for MemRegion R according to its kind.
517 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S,
563 typedef llvm::DenseSet<const MemRegion *> RegionSetTy
[all...] |
| ProgramState.h | 243 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
287 SVal getSVal(const MemRegion* R) const;
289 SVal getSValAsScalarOrLoc(const MemRegion *R) const;
307 bool scanReachableSymbols(const MemRegion * const *I,
308 const MemRegion * const *E,
316 scanReachableSymbols(const MemRegion * const *beg,
317 const MemRegion * const *end) const;
328 ProgramStateRef addTaint(const MemRegion *R,
336 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
339 DynamicTypeInfo getDynamicTypeInfo(const MemRegion *Reg) const
[all...] |
| CallEvent.h | 88 const MemRegion *R;
93 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {}
103 const MemRegion *getDispatchRegion() { return R; }
165 typedef SmallVectorImpl<const MemRegion *> RegionList;
670 typedef llvm::PointerIntPair<const MemRegion *, 1, bool> DtorDataTy;
680 const MemRegion *Target, bool IsBaseDestructor,
725 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target,
[all...] |
| ExprEngine.h | 268 ArrayRef<const MemRegion *> ExplicitRegions,
269 ArrayRef<const MemRegion *> Regions,
408 void VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest,
473 ArrayRef<const MemRegion *> ExplicitRegions,
474 ArrayRef<const MemRegion *> Regions,
550 void BifurcateCall(const MemRegion *BifurReg,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
51 // FIXME: Merge with the implementation of the same method in MemRegion.cpp
62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
73 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
113 case MemRegion::CXXThisRegionKind:
114 case MemRegion::GenericMemSpaceRegionKind:
115 case MemRegion::StackLocalsSpaceRegionKind
[all...] |
| MemRegion.cpp | 1 //== MemRegion.cpp - Abstract memory regions for static analysis --*- C++ -*--//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
16 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
31 // MemRegion Construction.
59 const MemRegion *superRegion) {
98 const MemRegion *superRegion) {
117 const MemRegion *superRegion) {
138 MemRegion::~MemRegion() {}
[all...] |
| RegionStore.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
45 llvm::PointerIntPair<const MemRegion *, 2> P;
57 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
68 const MemRegion *getRegion() const { return P.getPointer(); }
79 const MemRegion *getBaseRegion() const {
90 static BindingKey Make(const MemRegion *R, Kind k);
109 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
146 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
150 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
154 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings
[all...] |
| SVals.cpp | 40 const MemRegion *R = RV->getRegion();
53 const MemRegion* R = X->getRegion();
73 const MemRegion *R = X->stripCasts();
87 const MemRegion *R = X->getRegion();
127 const MemRegion *SVal::getAsRegion() const {
137 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const {
138 const MemRegion *R = getRegion();
|
| ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
| ProgramState.cpp | 126 const MemRegion *MR = LV.getAsRegion();
135 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion();
144 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions,
161 ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions,
212 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const {
551 bool ScanReachableSymbols::scan(const MemRegion *R) {
571 const MemRegion *Super = SR->getSuperRegion();
611 bool ProgramState::scanReachableSymbols(const MemRegion * const *I,
612 const MemRegion * const *E,
632 const MemRegion *R = getSVal(S, LCtx).getAsRegion()
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| PointerSubChecker.cpp | 47 const MemRegion *LR = LV.getAsRegion();
48 const MemRegion *RR = RV.getAsRegion();
53 const MemRegion *BaseLR = LR->getBaseRegion();
54 const MemRegion *BaseRR = RR->getBaseRegion();
|
| StackAddrEscapeChecker.cpp | 38 void EmitStackError(CheckerContext &C, const MemRegion *R,
40 static SourceRange genName(raw_ostream &os, const MemRegion *R,
45 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R,
95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R,
129 const MemRegion *R = V.getAsRegion();
172 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V;
180 const MemRegion *region, SVal val) {
185 const MemRegion *vR = val.getAsRegion();
|
| DynamicTypePropagation.cpp | 44 static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD,
76 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion())
89 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion();
108 const MemRegion *RetReg = Call.getReturnValue().getAsRegion();
138 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion();
163 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) {
177 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
233 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
|
| PthreadLockChecker.cpp | 46 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)
91 const MemRegion *lockR = lock.getAsRegion();
153 const MemRegion *lockR = lock.getAsRegion();
165 const MemRegion *firstLockR = LS.getHead();
|
| CStringChecker.cpp | 69 ArrayRef<const MemRegion *> ExplicitRegions,
70 ArrayRef<const MemRegion *> Regions,
123 const MemRegion *MR,
128 const MemRegion *MR,
146 const MemRegion *MR);
195 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
265 const MemRegion *R = l.getAsRegion();
612 const MemRegion *MR,
619 case MemRegion::StringRegionKind:
624 case MemRegion::SymbolicRegionKind
[all...] |
| ArrayBoundCheckerV2.cpp | 69 const MemRegion *region) {
74 case MemRegion::SymbolicRegionKind:
78 case MemRegion::ElementRegionKind:
270 const MemRegion *region = location.getAsRegion();
283 case MemRegion::ElementRegionKind: {
|
| CheckerDocumentation.cpp | 251 ArrayRef<const MemRegion *> ExplicitRegions,
252 ArrayRef<const MemRegion *> Regions,
|
| ArrayBoundChecker.cpp | 38 const MemRegion *R = l.getAsRegion();
|
| MacOSXAPIChecker.cpp | 60 const MemRegion *R =
|
| PointerArithChecker.cpp | 44 const MemRegion *LR = LV.getAsRegion();
|
| ReturnPointerRangeChecker.cpp | 43 const MemRegion *R = V.getAsRegion();
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 28 class MemRegion;
100 const MemRegion *R;
105 /// \brief Convenience method to create a visitor given only the MemRegion.
109 const MemRegion *R);
115 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R)
266 const MemRegion *R;
269 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {}
|
