| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 32 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
38 // FIXME: Merge with the implementation of the same method in MemRegion.cpp
49 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
53 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
60 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
100 case MemRegion::CXXThisRegionKind:
101 case MemRegion::GenericMemSpaceRegionKind:
102 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"
30 // MemRegion Construction.
58 const MemRegion *superRegion) {
97 const MemRegion *superRegion) {
116 const MemRegion *superRegion) {
137 MemRegion::~MemRegion() {}
[all...] |
| RegionStore.cpp | 26 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
45 llvm ::PointerIntPair<const MemRegion*, 1> P;
48 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
54 const MemRegion *getRegion() const { return P.getPointer(); }
62 static BindingKey Make(const MemRegion *R, Kind k);
83 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
143 typedef llvm::ImmutableSet<const MemRegion*> Set;
144 typedef llvm::DenseMap<const MemRegion*, Set> Map;
149 bool add(const MemRegion* Parent, const MemRegion* SubRegion)
[all...] |
| SVals.cpp | 39 const MemRegion *R = RV->getRegion();
52 const MemRegion* R = X->getRegion();
71 const MemRegion *R = X->stripCasts();
85 const MemRegion *R = X->getRegion();
125 const MemRegion *SVal::getAsRegion() const {
136 const MemRegion *loc::MemRegionVal::stripCasts() const {
137 const MemRegion *R = getRegion();
|
| ExprEngineCXX.cpp | 49 const MemRegion *R =
63 const MemRegion *Dest,
150 const MemRegion *Dest,
181 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion();
218 SmallVector<const MemRegion*, 10> regionsToInvalidate;
224 if (const MemRegion *region = val.getAsRegion())
292 const MemRegion *R =
|
| Android.mk | 32 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
48 const MemRegion *R;
54 RegionOffset(const MemRegion *r) : R(r), Offset(0) {}
55 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
57 const MemRegion *getRegion() const { return R; }
65 /// MemRegion - The root abstract class for all memory regions.
66 class MemRegion : public llvm::FoldingSetNode {
116 MemRegion(Kind k) : kind(k) {
[all...] |
| Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
69 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
85 /// used to query and manipulate MemRegion objects.
89 /// to get the subregions of a given MemRegion object. It is the
113 const MemRegion *region,
138 const MemRegion *region;
141 const MemRegion* getRegion() const { return region; }
142 CastResult(ProgramStateRef s, const MemRegion* r = 0) : state(s), region(r){}
145 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
148 /// a MemRegion* to a specific location type. 'R' is the region bein
[all...] |
| SubEngine.h | 41 class MemRegion;
106 ArrayRef<const MemRegion *> ExplicitRegions,
107 ArrayRef<const MemRegion *> Regions,
113 const MemRegion* MR) {
|
| SVals.h | 35 class MemRegion;
142 const MemRegion *getAsRegion() const;
426 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {}
429 const MemRegion* getRegion() const {
430 return static_cast<const MemRegion*>(Data);
434 const MemRegion* stripCasts() const;
|
| SymbolManager.h | 38 class MemRegion;
124 ///\brief A symbol representing the value stored at a MemRegion.
199 /// A symbol representing the value of a MemRegion whose parent region has
269 const MemRegion* R;
275 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t,
279 const MemRegion *getRegion() const { return R; }
288 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R,
493 /// \brief Make a unique symbol for MemRegion R according to its kind.
519 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S,
564 typedef llvm::DenseSet<const MemRegion *> RegionSetTy
[all...] |
| ProgramState.h | 219 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
262 SVal getSVal(const MemRegion* R) const;
264 SVal getSValAsScalarOrLoc(const MemRegion *R) const;
282 bool scanReachableSymbols(const MemRegion * const *I,
283 const MemRegion * const *E,
291 scanReachableSymbols(const MemRegion * const *beg,
292 const MemRegion * const *end) const;
303 ProgramStateRef addTaint(const MemRegion *R,
311 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
381 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions
[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();
|
| PthreadLockChecker.cpp | 50 public ProgramStatePartialTrait<llvm::ImmutableList<const MemRegion*> > {
99 const MemRegion *lockR = lock.getAsRegion();
161 const MemRegion *lockR = lock.getAsRegion();
166 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>();
173 const MemRegion *firstLockR = LS.getHead();
|
| 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) {
126 const MemRegion *MR,
131 const MemRegion *MR,
138 const MemRegion *getRegion(ProgramStateRef state,
147 typedef llvm::ImmutableMap<const MemRegion *, RefState> EntryMap;
229 // initialized fromt the specified instance MemRegion.
231 const MemRegion *MR, const MemberExpr *ME) const
[all...] |
| StackAddrEscapeChecker.cpp | 36 void EmitStackError(CheckerContext &C, const MemRegion *R,
38 static SourceRange GenName(raw_ostream &os, const MemRegion *R,
44 const MemRegion *R,
91 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R,
123 const MemRegion *R = V.getAsRegion();
157 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V;
165 const MemRegion *region, SVal val) {
170 const MemRegion *vR = val.getAsRegion();
|
| CheckerDocumentation.cpp | 205 ArrayRef<const MemRegion *> ExplicitRegions,
206 ArrayRef<const MemRegion *> Regions,
|
| CStringChecker.cpp | 67 ArrayRef<const MemRegion *> ExplicitRegions,
68 ArrayRef<const MemRegion *> Regions,
121 const MemRegion *MR,
126 const MemRegion *MR,
144 const MemRegion *MR);
193 typedef llvm::ImmutableMap<const MemRegion *, SVal> EntryMap;
276 const MemRegion *R = l.getAsRegion();
625 const MemRegion *MR,
632 case MemRegion::StringRegionKind:
637 case MemRegion::SymbolicRegionKind
[all...] |
| ArrayBoundCheckerV2.cpp | 69 const MemRegion *region) {
74 case MemRegion::SymbolicRegionKind:
78 case MemRegion::ElementRegionKind:
271 const MemRegion *region = location.getAsRegion();
284 case MemRegion::ElementRegionKind: {
|
| AdjustedReturnValueChecker.cpp | 54 const MemRegion *callee = state->getSVal(CE->getCallee(), LCtx).getAsRegion();
|
| ArrayBoundChecker.cpp | 38 const MemRegion *R = l.getAsRegion();
|
| DereferenceChecker.cpp | 37 static const MemRegion *AddDerefSource(raw_ostream &os,
45 const MemRegion *
53 const MemRegion *sourceR = 0;
128 const MemRegion *sourceR = 0;
|
| MacOSXAPIChecker.cpp | 60 const MemRegion *R =
|
| PointerArithChecker.cpp | 44 const MemRegion *LR = LV.getAsRegion();
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 28 class MemRegion;
100 const MemRegion *R;
106 /// \brief Convenience method to create a visitor given only the MemRegion.
110 const MemRegion *R);
116 FindLastStoreBRVisitor(SVal v, const MemRegion *r)
|
