| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 30 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
36 // FIXME: Merge with the implementation of the same method in MemRegion.cpp
47 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
51 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
58 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
98 case MemRegion::CXXThisRegionKind:
99 case MemRegion::GenericMemSpaceRegionKind:
100 case MemRegion::StackLocalsSpaceRegionKind
[all...] |
| FlatStore.cpp | 20 typedef llvm::ImmutableMap<const MemRegion *, BindingVal> RegionBindings;
50 llvm::SmallVectorImpl<const MemRegion*>& RegionRoots){
60 StoreRef invalidateRegions(Store store, const MemRegion * const *I,
61 const MemRegion * const *E, const Expr *Ex,
77 const MemRegion *R;
79 RegionInterval(const MemRegion *r, int64_t s, int64_t e) : R(r), I(s, e){}
82 RegionInterval RegionToInterval(const MemRegion *R);
84 SVal RetrieveRegionWithNoBinding(const MemRegion *R, QualType T);
106 const MemRegion *R = cast<loc::MemRegionVal>(L).getRegion();
124 SVal FlatStoreManager::RetrieveRegionWithNoBinding(const MemRegion *R
[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"
28 // MemRegion Construction.
56 const MemRegion *superRegion) {
95 const MemRegion *superRegion) {
114 const MemRegion *superRegion) {
135 MemRegion::~MemRegion() {}
[all...] |
| RegionStore.cpp | 25 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
44 llvm ::PointerIntPair<const MemRegion*, 1> P;
47 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
53 const MemRegion *getRegion() const { return P.getPointer(); }
61 static BindingKey Make(const MemRegion *R, Kind k);
82 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
142 typedef llvm::ImmutableSet<const MemRegion*> Set;
143 typedef llvm::DenseMap<const MemRegion*, Set> Map;
148 bool add(const MemRegion* Parent, const MemRegion* SubRegion)
[all...] |
| AggExprVisitor.cpp | 30 const MemRegion *Dest;
36 AggExprVisitor(const MemRegion *dest, ExplodedNode *N, ExplodedNodeSet &dst,
66 void ExprEngine::VisitAggExpr(const Expr *E, const MemRegion *Dest,
|
| BasicStore.cpp | 24 typedef llvm::ImmutableMap<const MemRegion*,SVal> BindingsTy;
32 bool iterSubRegions(const MemRegion* R, Visitor& V) const {
51 StoreRef invalidateRegion(Store store, const MemRegion *R, const Expr *E,
54 StoreRef invalidateRegions(Store store, const MemRegion * const *Begin,
55 const MemRegion * const *End, const Expr *E,
61 const MemRegion *SelfRegion, Store St);
80 llvm::SmallVectorImpl<const MemRegion*>& RegionRoots);
183 const MemRegion* R = cast<loc::MemRegionVal>(loc).getRegion();
218 const MemRegion* R = cast<loc::MemRegionVal>(loc).getRegion();
269 const MemRegion* R = cast<loc::MemRegionVal>(loc).getRegion()
[all...] |
| GRState.cpp | 74 llvm::SmallVector<const MemRegion*, 10> RegionRoots;
122 const MemRegion *MR = LV.getAsRegion();
131 const MemRegion *R = cast<loc::MemRegionVal>(loc).getRegion();
139 const GRState *GRState::invalidateRegions(const MemRegion * const *Begin,
140 const MemRegion * const *End,
153 GRState::invalidateRegionsImpl(const MemRegion * const *Begin,
154 const MemRegion * const *End,
196 SVal GRState::getSValAsScalarOrLoc(const MemRegion *R) const {
522 typedef llvm::DenseSet<const MemRegion*> VisitedRegionsTy;
535 bool scan(const MemRegion *R)
[all...] |
| SVals.cpp | 42 const MemRegion *R = RV->getRegion();
55 const MemRegion* R = X->getRegion();
71 const MemRegion *R = X->stripCasts();
85 const MemRegion *R = X->getRegion();
120 const MemRegion *SVal::getAsRegion() const {
131 const MemRegion *loc::MemRegionVal::stripCasts() const {
132 const MemRegion *R = getRegion();
|
| CXXExprEngine.cpp | 117 const MemRegion *R =
127 const MemRegion *Dest,
200 llvm::SmallVector<const MemRegion*, 10> regionsToInvalidate;
226 if (const MemRegion *region = val.getAsRegion())
245 const MemRegion *Dest,
274 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion();
306 llvm::SmallVector<const MemRegion*, 10> regionsToInvalidate;
312 if (const MemRegion *region = val.getAsRegion())
362 const MemRegion *R =
|
| Android.mk | 31 MemRegion.cpp \
|
| /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;
55 RegionOffset(const MemRegion *r) : R(r), Offset(0) {}
56 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
58 const MemRegion *getRegion() const { return R; }
66 /// MemRegion - The root abstract class for all memory regions.
67 class MemRegion : public llvm::FoldingSetNode {
110 MemRegion(Kind k) : kind(k) {
[all...] |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
68 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
84 /// used to query and manipulate MemRegion objects.
88 /// to get the subregions of a given MemRegion object. It is the
118 const MemRegion *region,
134 const MemRegion *region;
137 const MemRegion* getRegion() const { return region; }
138 CastResult(const GRState *s, const MemRegion* r = 0) : state(s), region(r){}
141 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
144 /// a MemRegion* to a specific location type. 'R' is the region bein
[all...] |
| SubEngine.h | 43 class MemRegion;
102 const MemRegion* const *Begin,
103 const MemRegion* const *End) = 0;
108 const MemRegion* MR) {
|
| Environment.h | 100 llvm::SmallVectorImpl<const MemRegion*>& RegionRoots);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| PointerSubChecker.cpp | 46 const MemRegion *LR = LV.getAsRegion();
47 const MemRegion *RR = RV.getAsRegion();
52 const MemRegion *BaseLR = LR->getBaseRegion();
53 const MemRegion *BaseRR = RR->getBaseRegion();
|
| StackAddrEscapeChecker.cpp | 36 void EmitStackError(CheckerContext &C, const MemRegion *R,
38 static SourceRange GenName(llvm::raw_ostream &os, const MemRegion *R,
44 const MemRegion *R,
86 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R,
118 const MemRegion *R = V.getAsRegion();
146 llvm::SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V;
152 const MemRegion *region, SVal val) {
157 const MemRegion *vR = val.getAsRegion();
|
| IteratorsChecker.cpp | 50 const MemRegion *getMemRegion() const {
52 return(const MemRegion *)VR;
65 static RefState getBeginValid(const MemRegion *vr) {
69 static RefState getEndValid(const MemRegion *vr) {
122 const GRState *handleAssign(const GRState *state, const MemRegion *MR,
124 const GRState *invalidateIterators(const GRState *state, const MemRegion *MR,
128 const MemRegion *getRegion(const GRState *state, const Expr *E,
135 typedef llvm::ImmutableMap<const MemRegion *, RefState> EntryMap;
217 // initialized fromt the specified instance MemRegion.
219 const MemRegion *MR, const MemberExpr *ME) const
[all...] |
| CStringChecker.cpp | 49 const MemRegion * const *Begin,
50 const MemRegion * const *End) const;
94 const MemRegion *MR, SVal strLength);
97 const Expr *Ex, const MemRegion *MR,
113 const MemRegion *MR);
147 typedef llvm::ImmutableMap<const MemRegion *, SVal> EntryMap;
226 const MemRegion *R = l.getAsRegion();
561 const MemRegion *MR,
568 case MemRegion::StringRegionKind:
573 case MemRegion::SymbolicRegionKind
[all...] |
| PthreadLockChecker.cpp | 50 public GRStatePartialTrait<llvm::ImmutableList<const MemRegion*> > {
102 const MemRegion *lockR = lock.getAsRegion();
114 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>();
167 const MemRegion *lockR = lock.getAsRegion();
172 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>();
179 const MemRegion *firstLockR = LS.getHead();
|
| ArrayBoundCheckerV2.cpp | 66 const MemRegion *region) {
71 case MemRegion::SymbolicRegionKind:
75 case MemRegion::ElementRegionKind:
250 const MemRegion *region = location.getAsRegion();
263 case MemRegion::ElementRegionKind: {
|
| AdjustedReturnValueChecker.cpp | 53 const MemRegion *callee = state->getSVal(CE->getCallee()).getAsRegion();
|
| ArrayBoundChecker.cpp | 37 const MemRegion *R = l.getAsRegion();
|
| MacOSXAPIChecker.cpp | 60 const MemRegion *R = state->getSVal(CE->getArg(0)).getAsRegion();
|
| PointerArithChecker.cpp | 43 const MemRegion *LR = LV.getAsRegion();
|
| ReturnPointerRangeChecker.cpp | 43 const MemRegion *R = V.getAsRegion();
|
