Searched refs:MemRegion (Results 1 - 25 of 54) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp45 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
[all...]
H A DMemRegion.cpp1 //== 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() {}
360 ProfileRegion(llvm::FoldingSetNodeID& ID, const NamedDecl *FD, const MemRegion*) argument
371 ProfileRegion(llvm::FoldingSetNodeID& ID, const BlockDecl *BD, CanQualType, const AnalysisDeclContext *AC, const MemRegion*) argument
[all...]
H A DRegionStore.cpp24 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
47 llvm::PointerIntPair<const MemRegion *, 2> P;
59 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
70 const MemRegion *getRegion() const { return P.getPointer(); }
81 const MemRegion *getBaseRegion() const {
92 static BindingKey Make(const MemRegion *R, Kind k);
111 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
148 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
152 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
156 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBinding
[all...]
H A DSVals.cpp40 const MemRegion *R = RV->getRegion();
53 const MemRegion* R = X->getRegion();
75 const MemRegion *R = X->getRegion();
91 const MemRegion *R = X->getRegion();
135 const MemRegion *SVal::getAsRegion() const {
145 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const {
146 const MemRegion *R = getRegion();
H A DConstraintManager.cpp23 const MemRegion *R = State->getStateManager().getRegionManager()
H A DProgramState.cpp118 const MemRegion *MR = LV.getAsRegion();
127 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion();
135 typedef ArrayRef<const MemRegion *> RegionList;
256 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const {
599 bool ScanReachableSymbols::scan(const MemRegion *R) {
619 const MemRegion *Super = SR->getSuperRegion();
659 bool ProgramState::scanReachableSymbols(const MemRegion * const *I,
660 const MemRegion * const *E,
680 const MemRegion *R = getSVal(S, LCtx).getAsRegion();
687 ProgramStateRef ProgramState::addTaint(const MemRegion *
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==//
10 // This file defines MemRegion and its subclasses. MemRegion defines a
50 const MemRegion *R;
61 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
63 const MemRegion *getRegion() const { return R; }
79 /// MemRegion - The root abstract class for all memory regions.
80 class MemRegion : public llvm::FoldingSetNode { class in namespace:clang::ento
130 MemRegion(Kind k) : kind(k) {} function in class:clang::ento::MemRegion
131 virtual ~MemRegion();
[all...]
H A DStore.h17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
84 /// used to query and manipulate MemRegion objects.
107 const MemRegion *region,
137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
140 /// a MemRegion* to a specific location type. 'R' is the region being
142 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
148 const MemRegion *region) const = 0;
159 typedef SmallVector<const MemRegion *,
[all...]
H A DSubEngine.h41 class MemRegion;
117 ArrayRef<const MemRegion *> ExplicitRegions,
118 ArrayRef<const MemRegion *> Regions,
124 const MemRegion* MR) {
134 ArrayRef<const MemRegion *> ExplicitRegions,
135 ArrayRef<const MemRegion *> Regions,
H A DProgramState.h238 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
242 ArrayRef<const MemRegion *> ConstRegions =
243 ArrayRef<const MemRegion *>()) const;
289 SVal getSVal(const MemRegion* R) const;
291 SVal getSValAsScalarOrLoc(const MemRegion *R) const;
309 bool scanReachableSymbols(const MemRegion * const *I,
310 const MemRegion * const *E,
318 scanReachableSymbols(const MemRegion * const *beg,
319 const MemRegion * const *end) const;
330 ProgramStateRef addTaint(const MemRegion *
[all...]
H A DSymbolManager.h38 class MemRegion;
126 ///\brief A symbol representing the value stored at a MemRegion.
201 /// A symbol representing the value of a MemRegion whose parent region has
271 const MemRegion* R;
277 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t,
281 const MemRegion *getRegion() const { return R; }
290 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R,
497 /// \brief Make a unique symbol for MemRegion R according to its kind.
522 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S,
568 typedef llvm::DenseSet<const MemRegion *> RegionSetT
[all...]
H A DExprEngine.h277 ArrayRef<const MemRegion *> ExplicitRegions,
278 ArrayRef<const MemRegion *> Regions,
417 void VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest,
483 ArrayRef<const MemRegion *> ExplicitRegions,
484 ArrayRef<const MemRegion *> Regions,
561 void BifurcateCall(const MemRegion *BifurReg,
H A DSVals.h35 class MemRegion;
172 const MemRegion *getAsRegion() const;
493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {}
496 const MemRegion* getRegion() const {
497 return static_cast<const MemRegion*>(Data);
501 const MemRegion* stripCasts(bool StripBaseCasts = true) const;
/external/clang/lib/StaticAnalyzer/Checkers/
H A DPointerSubChecker.cpp47 const MemRegion *LR = LV.getAsRegion();
48 const MemRegion *RR = RV.getAsRegion();
53 const MemRegion *BaseLR = LR->getBaseRegion();
54 const MemRegion *BaseRR = RR->getBaseRegion();
H A DStackAddrEscapeChecker.cpp38 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();
H A DDynamicTypePropagation.cpp46 static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD,
78 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion())
91 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion();
110 const MemRegion *RetReg = Call.getReturnValue().getAsRegion();
140 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion();
165 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) {
179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
201 const MemRegion *MR = C.getSVal(NewE).getAsRegion();
249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
H A DPthreadLockChecker.cpp46 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();
H A DCStringChecker.cpp69 ArrayRef<const MemRegion *> ExplicitRegions,
70 ArrayRef<const MemRegion *> Regions,
125 const MemRegion *MR,
130 const MemRegion *MR,
148 const MemRegion *MR);
197 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
267 const MemRegion *R = l.getAsRegion();
614 const MemRegion *MR,
621 case MemRegion::StringRegionKind:
626 case MemRegion
[all...]
H A DArrayBoundCheckerV2.cpp69 const MemRegion *region) {
74 case MemRegion::SymbolicRegionKind:
78 case MemRegion::ElementRegionKind:
270 const MemRegion *region = location.getAsRegion();
283 case MemRegion::ElementRegionKind: {
H A DCheckerDocumentation.cpp252 ArrayRef<const MemRegion *> ExplicitRegions,
253 ArrayRef<const MemRegion *> Regions,
H A DArrayBoundChecker.cpp38 const MemRegion *R = l.getAsRegion();
H A DMacOSXAPIChecker.cpp60 const MemRegion *R =
H A DPointerArithChecker.cpp44 const MemRegion *LR = LV.getAsRegion();
H A DReturnPointerRangeChecker.cpp43 const MemRegion *R = V.getAsRegion();
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h28 class MemRegion;
100 const MemRegion *R;
114 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R,
285 const MemRegion *R;
288 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {}

Completed in 1416 milliseconds

123