Home
last modified time | relevance | path

Searched refs:MemRegion (Results 1 – 25 of 59) sorted by relevance

123

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h49 const MemRegion *R;
60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} in RegionOffset()
62 const MemRegion *getRegion() const { return R; } in getRegion()
79 class MemRegion : public llvm::FoldingSetNode {
129 MemRegion(Kind k) : kind(k) {} in MemRegion() function
130 virtual ~MemRegion();
141 const MemRegion *getBaseRegion() const;
143 const MemRegion *StripCasts(bool StripBaseCasts = true) const;
175 static bool classof(const MemRegion*) { return true; } in classof() argument
180 class MemSpaceRegion : public MemRegion {
[all …]
DStore.h69 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 const MemRegion *region, in getSizeInElements()
145 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
150 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
156 const MemRegion *region) const = 0;
168 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions;
189 ArrayRef<const MemRegion *> Regions,
205 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
215 const MemRegion *region, SVal val) = 0;
221 const MemRegion* Binding;
[all …]
DSubEngine.h41 class MemRegion; variable
106 ArrayRef<const MemRegion *> ExplicitRegions,
107 ArrayRef<const MemRegion *> Regions,
113 const MemRegion* MR) { in processRegionChange()
DProgramState.h225 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
269 SVal getSVal(const MemRegion* R) const;
271 SVal getSValAsScalarOrLoc(const MemRegion *R) const;
289 bool scanReachableSymbols(const MemRegion * const *I,
290 const MemRegion * const *E,
298 scanReachableSymbols(const MemRegion * const *beg,
299 const MemRegion * const *end) const;
310 ProgramStateRef addTaint(const MemRegion *R,
318 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const;
321 DynamicTypeInfo getDynamicTypeInfo(const MemRegion *Reg) const;
[all …]
DSymbolManager.h38 class MemRegion; variable
271 const MemRegion* R;
277 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, in SymbolMetadata()
281 const MemRegion *getRegion() const { return R; } in getRegion()
290 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, in Profile()
520 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S,
566 typedef llvm::DenseSet<const MemRegion *> RegionSetTy;
578 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
596 bool isLiveRegion(const MemRegion *region);
642 void markLive(const MemRegion *region);
[all …]
DSVals.h35 class MemRegion; variable
141 const MemRegion *getAsRegion() const;
428 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} in MemRegionVal()
431 const MemRegion* getRegion() const { in getRegion()
432 return static_cast<const MemRegion*>(Data); in getRegion()
436 const MemRegion* stripCasts(bool StripBaseCasts = true) const;
DCallEvent.h87 const MemRegion *R;
92 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {} in RuntimeDefinition()
102 const MemRegion *getDispatchRegion() { return R; } in getDispatchRegion()
165 typedef SmallVectorImpl<const MemRegion *> RegionList;
607 typedef llvm::PointerIntPair<const MemRegion *, 1, bool> DtorDataTy;
617 const MemRegion *Target, bool IsBaseDestructor, in CXXDestructorCall()
662 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, in CXXConstructorCall()
920 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, in getCXXConstructorCall()
927 const MemRegion *Target, bool IsBase, in getCXXDestructorCall()
DCheckerContext.h141 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) { in getLocationRegionIfPostStore()
144 return reinterpret_cast<const MemRegion*>(PSL->getLocationValue()); in getLocationRegionIfPostStore()
DExprEngine.h245 ArrayRef<const MemRegion *> ExplicitRegions,
246 ArrayRef<const MemRegion *> Regions,
388 void VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest,
510 void BifurcateCall(const MemRegion *BifurReg,
/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp44 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, in MakeElementRegion()
61 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { in BindDefault()
65 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, in GetElementZeroRegion()
72 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { in castRegion()
112 case MemRegion::CXXThisRegionKind: in castRegion()
113 case MemRegion::GenericMemSpaceRegionKind: in castRegion()
114 case MemRegion::StackLocalsSpaceRegionKind: in castRegion()
115 case MemRegion::StackArgumentsSpaceRegionKind: in castRegion()
116 case MemRegion::HeapSpaceRegionKind: in castRegion()
117 case MemRegion::UnknownSpaceRegionKind: in castRegion()
[all …]
DMemRegion.cpp58 const MemRegion *superRegion) { in getSubRegion()
97 const MemRegion *superRegion) { in getSubRegion()
116 const MemRegion *superRegion) { in getSubRegion()
137 MemRegion::~MemRegion() {} in ~MemRegion()
148 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
149 const MemRegion* r = getSuperRegion(); in isSubRegionOf()
164 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
224 ObjCIvarRegion::ObjCIvarRegion(const ObjCIvarDecl *ivd, const MemRegion* sReg) in ObjCIvarRegion()
259 const MemRegion* superRegion) { in ProfileRegion()
267 const MemRegion* superRegion) { in ProfileRegion()
[all …]
DRegionStore.cpp48 llvm::PointerIntPair<const MemRegion *, 2> P;
51 explicit BindingKey(const MemRegion *r, const MemRegion *Base, Kind k) in BindingKey()
56 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) in BindingKey()
67 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion()
73 const MemRegion *getConcreteOffsetRegion() const { in getConcreteOffsetRegion()
75 return reinterpret_cast<const MemRegion *>(static_cast<uintptr_t>(Data)); in getConcreteOffsetRegion()
78 const MemRegion *getBaseRegion() const { in getBaseRegion()
89 static BindingKey Make(const MemRegion *R, Kind k);
108 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { in Make()
137 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings> RegionBindings;
[all …]
DSVals.cpp39 const MemRegion *R = RV->getRegion(); in hasConjuredSymbol()
52 const MemRegion* R = X->getRegion(); in getAsFunctionDecl()
71 const MemRegion *R = X->stripCasts(); in getAsLocSymbol()
85 const MemRegion *R = X->getRegion(); in getLocSymbolInBase()
125 const MemRegion *SVal::getAsRegion() const { in getAsRegion()
136 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { in stripCasts()
137 const MemRegion *R = getRegion(); in stripCasts()
DProgramState.cpp126 const MemRegion *MR = LV.getAsRegion(); in bindLoc()
135 const MemRegion *R = cast<loc::MemRegionVal>(loc).getRegion(); in bindDefault()
144 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions, in invalidateRegions()
158 ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, in invalidateRegionsImpl()
202 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const { in getSValAsScalarOrLoc()
540 bool ScanReachableSymbols::scan(const MemRegion *R) { in scan()
560 const MemRegion *Super = SR->getSuperRegion(); in scan()
600 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, in scanReachableSymbols()
601 const MemRegion * const *E, in scanReachableSymbols()
621 const MemRegion *R = getSVal(S, LCtx).getAsRegion(); in addTaint()
[all …]
DExprEngineCXX.cpp39 const MemRegion *MR = V.getAsRegion(); in CreateCXXTemporaryObject()
41 const MemRegion *R = in CreateCXXTemporaryObject()
58 const MemRegion *Target = 0; in VisitCXXConstructExpr()
164 const MemRegion *Dest, in VisitCXXDestructor()
235 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion(); in VisitCXXNewExpr()
308 const MemRegion *R = in VisitCXXThisExpr()
DCallEvent.cpp133 SmallVector<const MemRegion *, 8> RegionsToInvalidate; in invalidateRegions()
154 if (const MemRegion *R = V.getAsRegion()) { in invalidateRegions()
173 const MemRegion *superReg = ER->getSuperRegion(); in invalidateRegions()
383 if (const MemRegion *R = getCXXThisVal().getAsRegion()) in getExtraInvalidatedRegions()
419 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
507 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
528 if (const MemRegion *R = getBlockRegion()) in getExtraInvalidatedRegions()
543 return loc::MemRegionVal(static_cast<const MemRegion *>(Data)); in getCXXThisVal()
549 Regions.push_back(static_cast<const MemRegion *>(Data)); in getExtraInvalidatedRegions()
602 if (const MemRegion *R = getReceiverSVal().getAsRegion()) in getExtraInvalidatedRegions()
[all …]
/external/clang/lib/StaticAnalyzer/Checkers/
DStackAddrEscapeChecker.cpp36 void EmitStackError(CheckerContext &C, const MemRegion *R,
38 static SourceRange GenName(raw_ostream &os, const MemRegion *R,
44 const MemRegion *R, in GenName()
91 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R, in EmitStackError()
125 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
168 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V; in checkEndPath()
176 const MemRegion *region, SVal val) { in checkEndPath()
181 const MemRegion *vR = val.getAsRegion(); in checkEndPath()
DDynamicTypePropagation.cpp44 static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD, in recordFixedType()
76 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
89 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
109 const MemRegion *RetReg = Result.getAsRegion(); in checkPostCall()
137 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
162 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
176 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in checkPostStmt()
232 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
DPointerSubChecker.cpp47 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
48 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
53 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()
54 const MemRegion *BaseRR = RR->getBaseRegion(); in checkPreStmt()
DCStringChecker.cpp67 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;
275 const MemRegion *R = l.getAsRegion(); in CheckLocation()
624 const MemRegion *MR, in setCStringLength()
631 case MemRegion::StringRegionKind: in setCStringLength()
636 case MemRegion::SymbolicRegionKind: in setCStringLength()
[all …]
DPthreadLockChecker.cpp50 public ProgramStatePartialTrait<llvm::ImmutableList<const MemRegion*> > {
99 const MemRegion *lockR = lock.getAsRegion(); in AcquireLock()
161 const MemRegion *lockR = lock.getAsRegion(); in ReleaseLock()
166 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>(); in ReleaseLock()
173 const MemRegion *firstLockR = LS.getHead(); in ReleaseLock()
DArrayBoundCheckerV2.cpp69 const MemRegion *region) { in computeExtentBegin()
74 case MemRegion::SymbolicRegionKind: in computeExtentBegin()
78 case MemRegion::ElementRegionKind: in computeExtentBegin()
271 const MemRegion *region = location.getAsRegion(); in computeOffset()
284 case MemRegion::ElementRegionKind: { in computeOffset()
DMallocChecker.cpp94 typedef std::pair<const Stmt*, const MemRegion*> LeakInfo;
144 ArrayRef<const MemRegion *> ExplicitRegions,
145 ArrayRef<const MemRegion *> Regions,
211 static bool SummarizeRegion(raw_ostream &os, const MemRegion *MR);
651 const MemRegion *R = ArgVal.getAsRegion(); in FreeMemAux()
732 const MemRegion *MR) { in SummarizeRegion()
734 case MemRegion::FunctionTextRegionKind: { in SummarizeRegion()
742 case MemRegion::BlockTextRegionKind: in SummarizeRegion()
745 case MemRegion::BlockDataRegionKind: in SummarizeRegion()
814 const MemRegion *MR = ArgVal.getAsRegion(); in ReportBadFree()
[all …]
DCheckerDocumentation.cpp236 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
237 ArrayRef<const MemRegion *> Regions, in checkRegionChanges()
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitor.h28 class MemRegion; variable
100 const MemRegion *R;
109 const MemRegion *R);
115 FindLastStoreBRVisitor(SVal v, const MemRegion *r) in FindLastStoreBRVisitor()
235 const MemRegion *R;
238 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {} in UndefOrNullArgVisitor()

123