| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicTypeMap.h | 27 typedef llvm::ImmutableMap<const MemRegion *, DynamicTypeInfo>
40 const MemRegion *Reg);
43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
48 const MemRegion *Reg, QualType NewTy,
|
| 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 {
91 MemRegion(Kind k) : kind(k) {}
92 virtual ~MemRegion();
[all...] |
| Store.h | 17 #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 *, 8> InvalidatedRegions
[all...] |
| SubEngine.h | 41 class MemRegion;
135 ArrayRef<const MemRegion *> ExplicitRegions,
136 ArrayRef<const MemRegion *> Regions,
142 const MemRegion* MR) {
152 ArrayRef<const MemRegion *> ExplicitRegions,
153 ArrayRef<const MemRegion *> Regions,
|
| SymExpr.h | 25 class MemRegion;
92 virtual const MemRegion *getOriginRegion() const { return nullptr; }
|
| SymbolManager.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
41 ///\brief A symbol representing the value stored at a MemRegion.
61 const MemRegion *getOriginRegion() const override { return getRegion(); }
115 /// A symbol representing the value of a MemRegion whose parent region has
131 const MemRegion *getOriginRegion() const override { return getRegion(); }
186 const MemRegion* R;
192 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t,
196 const MemRegion *getRegion() const { return R; }
205 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R,
412 /// \brief Make a unique symbol for MemRegion R according to its kind
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
62 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
102 case MemRegion::CXXThisRegionKind:
103 case MemRegion::CodeSpaceRegionKind:
104 case MemRegion::StackLocalsSpaceRegionKind:
105 case MemRegion::StackArgumentsSpaceRegionKind
[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.
58 const MemRegion *superRegion) {
96 const MemRegion *superRegion) {
114 const MemRegion *superRegion) {
134 MemRegion::~MemRegion() {}
[all...] |
| DynamicTypeMap.cpp | 22 const MemRegion *Reg) {
42 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
|
| RegionStore.cpp | 25 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
49 llvm::PointerIntPair<const MemRegion *, 2> P;
61 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
72 const MemRegion *getRegion() const { return P.getPointer(); }
83 const MemRegion *getBaseRegion() const {
94 static BindingKey Make(const MemRegion *R, Kind k);
113 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
148 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
152 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
157 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings
[all...] |
| SVals.cpp | 40 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();
|
| ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIBugReporter.h | 45 const MemRegion *const RequestRegion,
58 const MemRegion *const RequestRegion,
69 const MemRegion *const RequestRegion,
85 RequestNodeVisitor(const MemRegion *const MemoryRegion,
101 const MemRegion *const RequestRegion;
|
| MPIChecker.h | 88 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
89 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
96 const clang::ento::MemRegion *
|
| MPIChecker.cpp | 30 const MemRegion *const MR =
60 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent);
69 llvm::SmallVector<const MemRegion *, 2> ReqRegions;
135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const {
142 return (const MemRegion *)nullptr;
147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions,
148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
153 const MemRegion *SuperRegion{nullptr};
176 ReqRegions.push_back(ER->getAs<MemRegion>());
|
| MPITypes.h | 50 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
|
| MPIBugReporter.cpp | 26 const MemRegion *const RequestRegion,
51 const ento::mpi::Request &Req, const MemRegion *const RequestRegion,
71 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion,
|
| /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();
181 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V;
189 const MemRegion *region, SVal val) override {
194 const MemRegion *vR = val.getAsRegion();
|
| PointerArithChecker.cpp | 52 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
54 const MemRegion *getPointedRegion(const MemRegion *Region,
76 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind)
106 const MemRegion *
107 PointerArithChecker::getPointedRegion(const MemRegion *Region,
119 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region,
124 while (Region->getKind() == MemRegion::Kind::CXXBaseObjectRegionKind)
[all...] |
| PthreadLockChecker.cpp | 77 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)
79 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)
128 const MemRegion *lockR = lock.getAsRegion();
196 const MemRegion *lockR = lock.getAsRegion();
226 const MemRegion *firstLockR = LS.getHead();
251 const MemRegion *LockR = Lock.getAsRegion();
286 const MemRegion *LockR = Lock.getAsRegion();
|
| ArrayBoundCheckerV2.cpp | 69 const MemRegion *region) {
74 case MemRegion::SymbolicRegionKind:
78 case MemRegion::ElementRegionKind:
260 const MemRegion *region = location.getAsRegion();
273 case MemRegion::ElementRegionKind: {
|
| DynamicTypeChecker.cpp | 44 DynamicTypeBugVisitor(const MemRegion *Reg) : Reg(Reg) {}
59 const MemRegion *Reg;
63 const MemRegion *Reg, const Stmt *ReportedNode,
73 const MemRegion *Reg,
169 const MemRegion *Region = C.getSVal(CE).getAsRegion();
|
| VforkChecker.cpp | 169 const MemRegion *LhsDeclReg =
172 : (const MemRegion *)VFORK_RESULT_NONE;
198 const MemRegion *VforkLhs =
199 static_cast<const MemRegion *>(State->get<VforkResultRegion>());
200 const MemRegion *MR = L.getAsRegion();
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 29 class MemRegion;
101 const MemRegion *R;
115 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R,
286 const MemRegion *R;
289 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {}
|
