Home
last modified time | relevance | path

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

12345

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp124 MemRegion::~MemRegion() = default;
134 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
135 const MemRegion* r = this; in isSubRegionOf()
150 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
230 const MemRegion *superRegion) { in ProfileRegion()
238 const MemRegion *superRegion) { in ProfileRegion()
246 const MemRegion *superRegion) { in ProfileRegion()
263 const MemRegion* superRegion) { in ProfileRegion()
271 const MemRegion *sRegion) { in ProfileRegion()
287 const MemRegion* superRegion) { in ProfileRegion()
[all …]
H A DStore.cpp74 std::optional<const MemRegion *> StoreManager::castRegion(const MemRegion *R, in castRegion()
105 const auto IsSameRegionType = [&Ctx](const MemRegion *R, QualType OtherTy) { in castRegion()
120 case MemRegion::CXXThisRegionKind: in castRegion()
121 case MemRegion::CodeSpaceRegionKind: in castRegion()
122 case MemRegion::StackLocalsSpaceRegionKind: in castRegion()
123 case MemRegion::StackArgumentsSpaceRegionKind: in castRegion()
124 case MemRegion::HeapSpaceRegionKind: in castRegion()
125 case MemRegion::UnknownSpaceRegionKind: in castRegion()
126 case MemRegion::StaticGlobalSpaceRegionKind: in castRegion()
127 case MemRegion::GlobalInternalSpaceRegionKind: in castRegion()
[all …]
H A DRegionStore.cpp49 llvm::PointerIntPair<const MemRegion *, 2> P;
61 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) in BindingKey()
74 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion()
85 const MemRegion *getBaseRegion() const { in getBaseRegion()
96 static BindingKey Make(const MemRegion *R, Kind k);
115 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { in Make()
150 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
154 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
170 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>
177 : llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>(T, F), in RegionBindingsRef()
[all …]
H A DDynamicExtent.cpp22 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicExtentMap, const clang::ento::MemRegion *,
29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
44 const MemRegion *MR, in getDynamicElementCount()
61 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
67 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset()
82 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR, in setDynamicExtent()
H A DDynamicType.cpp27 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
44 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR) { in getDynamicTypeInfo()
64 const MemRegion *MR) { in getRawDynamicTypeInfo()
76 const MemRegion *MR, in getDynamicCastInfo()
99 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, in setDynamicTypeInfo()
106 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, in setDynamicTypeInfo()
112 const MemRegion *MR, in setDynamicTypeAndCastInfo()
158 static bool isLive(SymbolReaper &SR, const MemRegion *MR) { in isLive()
192 static raw_ostream &printJson(const MemRegion *Region, raw_ostream &Out, in printJson()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h54 class MemRegion; variable
64 const MemRegion *R = nullptr;
75 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} in RegionOffset()
78 const MemRegion *getRegion() const { return R; } in getRegion()
95 class MemRegion : public llvm::FoldingSetNode {
108 MemRegion(Kind k) : kind(k) {} in MemRegion() function
109 virtual ~MemRegion();
120 LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *getBaseRegion() const;
125 const MemRegion *getMostDerivedObjectRegion() const;
129 virtual bool isSubRegionOf(const MemRegion *R) const;
[all …]
H A DStore.h87 const MemRegion *R) = 0;
113 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
118 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
185 std::optional<const MemRegion *> castRegion(const MemRegion *region,
192 const MemRegion *region) const = 0;
203 using InvalidatedRegions = SmallVector<const MemRegion *, 8>;
247 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
259 const MemRegion *region, SVal val) = 0;
264 const MemRegion* Binding = nullptr;
272 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
[all …]
H A DDynamicType.h31 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
36 const MemRegion *MR);
44 const MemRegion *MR,
49 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
53 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
68 const MemRegion *MR,
H A DSymbolManager.h66 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
156 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
216 const MemRegion* R;
224 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, in SymbolMetadata()
236 const MemRegion *getRegion() const { return R; } in getRegion()
255 static void Profile(llvm::FoldingSetNodeID &profile, const MemRegion *R, in Profile()
529 const SymbolMetadata *getMetadataSymbol(const MemRegion *R, const Stmt *S,
580 using RegionSetTy = llvm::DenseSet<const MemRegion *>;
596 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
614 bool isLiveRegion(const MemRegion *region);
[all …]
H A DDynamicExtent.h27 const MemRegion *MR, SValBuilder &SVB);
34 const MemRegion *MR,
38 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DMoveChecker.cpp58 ArrayRef<const MemRegion *> RequestedRegions,
59 ArrayRef<const MemRegion *> InvalidatedRegions,
147 ObjectKind classifyObject(const MemRegion *MR, const CXXRecordDecl *RD) const;
151 void explainObject(llvm::raw_ostream &OS, const MemRegion *MR,
158 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
179 const MemRegion *Region;
210 void modelUse(ProgramStateRef State, const MemRegion *Region,
216 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
223 const MemRegion *Region,
228 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
[all …]
H A DStackAddrEscapeChecker.cpp57 void EmitStackError(CheckerContext &C, const MemRegion *R,
60 static SourceRange genName(raw_ostream &os, const MemRegion *R,
62 static SmallVector<const MemRegion *, 4>
64 static bool isNotInCurrentFrame(const MemRegion *R, CheckerContext &C);
68 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R, in genName()
112 bool StackAddrEscapeChecker::isNotInCurrentFrame(const MemRegion *R, in isNotInCurrentFrame()
129 SmallVector<const MemRegion *, 4>
132 SmallVector<const MemRegion *, 4> Regions; in getCapturedStackRegions()
137 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
145 const MemRegion *R, in EmitStackError()
[all …]
H A DPointerArithChecker.cpp50 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
52 const MemRegion *getPointedRegion(const MemRegion *Region,
74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
104 const MemRegion *
105 PointerArithChecker::getPointedRegion(const MemRegion *Region, in getPointedRegion()
117 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region, in getArrayRegion()
156 const MemRegion *Region = C.getSVal(E).getAsRegion(); in reportPointerArithMisuse()
166 if (const MemRegion *ArrayRegion = in reportPointerArithMisuse()
190 Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in reportPointerArithMisuse()
229 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
[all …]
H A DValistChecker.cpp25 REGISTER_SET_WITH_PROGRAMSTATE(InitializedVALists, const MemRegion *)
28 typedef SmallVector<const MemRegion *, 2> RegionVector;
57 const MemRegion *getVAListAsRegion(SVal SV, const Expr *VAExpr,
60 const MemRegion *Reg) const;
62 void reportUninitializedAccess(const MemRegion *VAList, StringRef Msg,
74 ValistBugVisitor(const MemRegion *Reg, bool IsLeak = false) in ValistBugVisitor()
97 const MemRegion *Reg;
140 const MemRegion *VAList = in checkPreCall()
163 const MemRegion *ValistChecker::getVAListAsRegion(SVal SV, const Expr *E, in getVAListAsRegion()
166 const MemRegion *Reg = SV.getAsRegion(); in getVAListAsRegion()
[all …]
H A DIterator.h30 const MemRegion *Cont;
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition()
42 const MemRegion *getContainer() const { return Cont; } in getContainer()
50 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) { in getPosition()
58 IteratorPosition reAssign(const MemRegion *NewCont) const { in reAssign()
117 CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, IteratorPosition);
119 CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, ContainerData);
163 const MemRegion *Cont);
169 const MemRegion *Cont, const Stmt* S,
H A DSmartPtrModeling.cpp58 ArrayRef<const MemRegion *> ExplicitRegions,
59 ArrayRef<const MemRegion *> Regions,
72 const MemRegion *ThisRegion) const;
73 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
74 const MemRegion *OtherSmartPtrRegion,
83 const MemRegion *ThisRegion, const Expr *E,
100 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()
162 const MemRegion *Region) { in removeTrackedSubregions()
173 const MemRegion *Region, in updateSwappedRegion()
[all …]
H A DContainerModeling.cpp55 const MemRegion *ContReg,
100 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
101 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
102 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
103 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
104 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
106 const MemRegion *Cont, const Expr *E,
109 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
113 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
116 const MemRegion *Cont);
[all …]
H A DErrnoModeling.cpp72 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument
143 const MemRegion *ErrnoR = in checkBeginFunction()
161 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()
171 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()
187 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall()
212 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue()
222 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
233 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
244 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc()
280 const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>(); in getErrnoNoteTag()
[all …]
H A DSmartPtrChecker.cpp42 void reportBug(CheckerContext &C, const MemRegion *DerefRegion,
44 void explainDereference(llvm::raw_ostream &OS, const MemRegion *DerefRegion,
68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall()
79 void SmartPtrChecker::reportBug(CheckerContext &C, const MemRegion *DerefRegion, in reportBug()
94 const MemRegion *DerefRegion, in explainDereference()
H A DPointerSubChecker.cpp44 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
45 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
50 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()
51 const MemRegion *BaseRR = RR->getBaseRegion(); in checkPreStmt()
H A DErrnoChecker.cpp42 ArrayRef<const MemRegion *> ExplicitRegions,
43 ArrayRef<const MemRegion *> Regions,
54 const MemRegion *ErrnoRegion,
112 CheckerContext &C, ProgramStateRef State, const MemRegion *ErrnoRegion, in generateErrnoNotCheckedBug()
220 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
221 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, in checkRegionChanges()
226 const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion(); in checkRegionChanges()
H A DCStringChecker.cpp129 ArrayRef<const MemRegion *> ExplicitRegions,
130 ArrayRef<const MemRegion *> Regions,
237 const MemRegion *MR,
242 const MemRegion *MR,
262 const MemRegion *MR);
313 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
373 const MemRegion *R = Element.getAsRegion(); in CheckLocation()
788 const MemRegion *MR, in setCStringLength()
795 case MemRegion::StringRegionKind: in setCStringLength()
800 case MemRegion::SymbolicRegionKind: in setCStringLength()
[all …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp84 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE() argument
87 REGISTER_TRAIT_WITH_PROGRAMSTATE(EnvPtrRegion, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
92 const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
98 const MemRegion *SymbolicEnvPtrRegion = State->get<EnvPtrRegion>(); in REGISTER_SET_WITH_PROGRAMSTATE()
124 if (const MemRegion *const *Reg = State->get<PreviousCallResultMap>(FD)) { in postPreviousReturnInvalidatingCall()
125 const MemRegion *PrevReg = *Reg; in postPreviousReturnInvalidatingCall()
149 const MemRegion *MR = in postPreviousReturnInvalidatingCall()
150 const_cast<MemRegion *>(SymRegOfRetVal->getBaseRegion()); in postPreviousReturnInvalidatingCall()
165 static const MemRegion *findInvalidatedSymbolicBase(ProgramStateRef State, in findInvalidatedSymbolicBase()
166 const MemRegion *Reg) { in findInvalidatedSymbolicBase()
[all …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h44 const MemRegion *const RequestRegion,
55 const MemRegion *const RequestRegion,
66 const MemRegion *const RequestRegion,
82 RequestNodeVisitor(const MemRegion *const MemoryRegion, in RequestNodeVisitor()
97 const MemRegion *const RequestRegion;
H A DMPIChecker.cpp30 const MemRegion *const MR = in checkDoubleNonblocking()
61 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent); in checkUnmatchedWaits()
70 llvm::SmallVector<const MemRegion *, 2> ReqRegions; in checkUnmatchedWaits()
135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait()
142 return (const MemRegion *)nullptr; in topRegionUsedByWait()
147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait() argument
148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const { in allRegionsUsedByWait()
177 ReqRegions.push_back(ER->getAs<MemRegion>()); in allRegionsUsedByWait()

12345