Home
last modified time | relevance | path

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

1234

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp122 MemRegion::~MemRegion() = default;
132 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
133 const MemRegion* r = this; in isSubRegionOf()
148 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
240 const MemRegion *superRegion) { in ProfileRegion()
248 const MemRegion *superRegion) { in ProfileRegion()
256 const MemRegion *superRegion) { in ProfileRegion()
273 const MemRegion* superRegion) { in ProfileRegion()
281 const MemRegion *sRegion) { in ProfileRegion()
297 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.cpp50 llvm::PointerIntPair<const MemRegion *, 2> P;
62 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) in BindingKey()
75 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion()
86 const MemRegion *getBaseRegion() const { in getBaseRegion()
97 static BindingKey Make(const MemRegion *R, Kind k);
116 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { in Make()
151 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
155 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
171 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>
178 : llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>(T, F), in RegionBindingsRef()
[all …]
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()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h56 class MemRegion; variable
66 const MemRegion *R = nullptr;
77 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} in RegionOffset()
80 const MemRegion *getRegion() const { return R; } in getRegion()
97 class MemRegion : public llvm::FoldingSetNode {
112 MemRegion(Kind k) : kind(k) {} in MemRegion() function
113 virtual ~MemRegion();
124 LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *getBaseRegion() const;
129 const MemRegion *getMostDerivedObjectRegion() const;
133 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>;
243 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
255 const MemRegion *region, SVal val) = 0;
260 const MemRegion* Binding = nullptr;
268 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
[all …]
H A DSymbolManager.h67 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
157 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
217 const MemRegion* R;
225 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, in SymbolMetadata()
237 const MemRegion *getRegion() const { return R; } in getRegion()
256 static void Profile(llvm::FoldingSetNodeID &profile, const MemRegion *R, in Profile()
530 const SymbolMetadata *getMetadataSymbol(const MemRegion *R, const Stmt *S,
581 using RegionSetTy = llvm::DenseSet<const MemRegion *>;
597 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
615 bool isLiveRegion(const MemRegion *region);
[all …]
H A DRegions.def1 //===-- Regions.def - Metadata about MemRegion kinds ------------*- C++ -*-===//
9 // The list of regions (MemRegion sub-classes) used in the Static Analyzer.
13 // REGION(Id, Parent) - for specific MemRegion sub-classes, reserving
36 ABSTRACT_REGION(MemSpaceRegion, MemRegion)
57 ABSTRACT_REGION(SubRegion, MemRegion)
/freebsd/contrib/llvm-project/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,
217 ExplodedNode *tryToReportBug(const MemRegion *Region, const CXXRecordDecl *RD,
224 const MemRegion *Region,
229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
[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;
139 const MemRegion *VAList = in checkPreCall()
162 const MemRegion *ValistChecker::getVAListAsRegion(SVal SV, const Expr *E, in getVAListAsRegion()
165 const MemRegion *Reg = SV.getAsRegion(); in getVAListAsRegion()
[all …]
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,
105 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
106 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
107 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
108 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
109 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
111 const MemRegion *Cont, const Expr *E,
114 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
118 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
121 const MemRegion *Cont);
[all …]
H A DErrnoModeling.cpp72 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument
103 const MemRegion *ErrnoR = nullptr; in checkBeginFunction()
119 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()
149 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall()
174 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue()
184 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
195 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
206 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc()
230 const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>(); in getErrnoNoteTag()
260 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoStdMustBeChecked()
H A DPointerSubChecker.cpp45 const MemRegion *Reg) const;
54 const MemRegion *Reg) const { in checkArrayBounds()
67 const MemRegion *SuperReg = ElemReg->getSuperRegion(); in checkArrayBounds()
115 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
116 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
140 const MemRegion *SuperLR = ElemLR->getSuperRegion(); in checkPreStmt()
141 const MemRegion *SuperRR = ElemRR->getSuperRegion(); in checkPreStmt()
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 DCStringChecker.cpp122 ArrayRef<const MemRegion *> ExplicitRegions,
123 ArrayRef<const MemRegion *> Regions,
254 const MemRegion *MR,
259 const MemRegion *MR,
298 const MemRegion *)>
302 const MemRegion *MR);
356 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
444 const MemRegion *R = Element.getAsRegion(); in checkInit()
559 const MemRegion *R = Element.getAsRegion(); in CheckLocation()
957 const MemRegion *MR, in setCStringLength()
[all …]
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 DBlockInCriticalSectionChecker.cpp41 const MemRegion *LockReg{};
79 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion()
89 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion()
129 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, in getRegion()
131 const MemRegion *LockRegion = nullptr; in getRegion()
244 static const MemRegion *getRegion(const CallEvent &Call, in getRegion()
257 const MemRegion *MutexRegion = in handleLock()
271 const MemRegion *MutexRegion = in handleUnlock()
H A DPthreadLockChecker.cpp202 const MemRegion *lockR,
253 ArrayRef<const MemRegion *> ExplicitRegions,
254 ArrayRef<const MemRegion *> Regions,
284 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument
287 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState) in REGISTER_LIST_WITH_PROGRAMSTATE()
290 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef) in REGISTER_LIST_WITH_PROGRAMSTATE()
318 ProgramStateRef state, const MemRegion *lockR, const SymbolRef *sym) const { in resolvePossiblyDestroyedMutex()
433 const MemRegion *lockR = MtxVal.getAsRegion(); in AcquireLockAux()
511 const MemRegion *lockR = MtxVal.getAsRegion(); in ReleaseLockAux()
535 const MemRegion *firstLockR = LS.getHead(); in ReleaseLockAux()
[all …]
H A DTaint.cpp76 const MemRegion *R = V.getAsRegion(); in addTaint()
80 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R, in addTaint()
104 const MemRegion *R = V.getAsRegion(); in removeTaint()
108 ProgramStateRef taint::removeTaint(ProgramStateRef State, const MemRegion *R) { in removeTaint()
159 bool taint::isTainted(ProgramStateRef State, const MemRegion *Reg, in isTainted()
189 const MemRegion *Reg, in getTaintedSymbols()
208 if (const MemRegion *Reg = V.getAsRegion()) in getTaintedSymbolsImpl()
214 const MemRegion *Reg, in getTaintedSymbolsImpl()
H A DNullabilityChecker.cpp144 NullabilityBugVisitor(const MemRegion *M) : Region(M) {} in NullabilityBugVisitor()
158 const MemRegion *Region;
167 ExplodedNode *N, const MemRegion *Region,
173 const MemRegion *Region, BugReporter &BR, in reportBug()
242 using ObjectPropPair = std::pair<const MemRegion *, const IdentifierInfo *>;
270 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
326 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()
483 const MemRegion *Region, CheckerContext &C, const Stmt *ValueExpr, in reportBugIfInvariantHolds()
502 for (const MemRegion *Reg : llvm::make_first_range(Nullabilities)) { in checkDeadSymbols()
514 const MemRegion *ReceiverRegion = PropKey.first; in checkDeadSymbols()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp109 REGISTER_SET_WITH_PROGRAMSTATE(InvalidMemoryRegions, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE() argument
112 REGISTER_TRAIT_WITH_PROGRAMSTATE(MainEnvPtrRegion, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
115 REGISTER_SET_WITH_PROGRAMSTATE(GetenvEnvPtrRegions, const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
120 const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
125 const MemRegion *MainRegion = State->get<MainEnvPtrRegion>(); in REGISTER_SET_WITH_PROGRAMSTATE()
145 for (const MemRegion *MR : GetenvRegions) { in REGISTER_SET_WITH_PROGRAMSTATE()
170 if (const MemRegion *MainEnvPtr = State->get<MainEnvPtrRegion>()) in EnvpInvalidatingCall()
172 for (const MemRegion *EnvPtr : State->get<GetenvEnvPtrRegions>()) in EnvpInvalidatingCall()
190 if (const MemRegion *const *Reg = State->get<PreviousCallResultMap>(FD)) { in postPreviousReturnInvalidatingCall()
191 const MemRegion *PrevReg = *Reg; in postPreviousReturnInvalidatingCall()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
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()
H A DMPIChecker.h85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
93 const clang::ento::MemRegion *
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DTaint.h45 const MemRegion *R,
51 const MemRegion *R);
79 bool isTainted(ProgramStateRef State, const MemRegion *Reg,
98 const MemRegion *Reg,
116 const MemRegion *Reg,

1234