Home
last modified time | relevance | path

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

12345

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp62 REGISTER_MAP_WITH_PROGRAMSTATE(MemSpacesMap, const MemRegion *, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
69 [[maybe_unused]] static bool isAReferenceTypedValueRegion(const MemRegion *R) { in REGISTER_MAP_WITH_PROGRAMSTATE()
131 MemRegion::~MemRegion() = default;
141 bool SubRegion::isSubRegionOf(const MemRegion* R) const { in isSubRegionOf()
142 const MemRegion* r = this; in isSubRegionOf()
157 const MemRegion *superRegion = r->getSuperRegion(); in getMemRegionManager()
249 const MemRegion *superRegion) { in ProfileRegion()
257 const MemRegion *superRegion) { in ProfileRegion()
265 const MemRegion *superRegion) { in ProfileRegion()
282 const MemRegion* superRegion) { in ProfileRegion()
[all …]
H A DStore.cpp76 std::optional<const MemRegion *> StoreManager::castRegion(const MemRegion *R, in castRegion()
107 const auto IsSameRegionType = [&Ctx](const MemRegion *R, QualType OtherTy) { in castRegion()
122 case MemRegion::CXXThisRegionKind: in castRegion()
123 case MemRegion::CodeSpaceRegionKind: in castRegion()
124 case MemRegion::StackLocalsSpaceRegionKind: in castRegion()
125 case MemRegion::StackArgumentsSpaceRegionKind: in castRegion()
126 case MemRegion::HeapSpaceRegionKind: in castRegion()
127 case MemRegion::UnknownSpaceRegionKind: in castRegion()
128 case MemRegion::StaticGlobalSpaceRegionKind: in castRegion()
129 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()
76 const MemRegion *getRegion() const { return P.getPointer(); } in getRegion()
87 const MemRegion *getBaseRegion() const { in getBaseRegion()
98 static BindingKey Make(const MemRegion *R, Kind k);
124 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { in Make()
159 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
163 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
179 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings>
191 RegionBindingsRef removeCluster(const MemRegion *BaseRegion) const { in removeCluster()
[all …]
H A DDynamicExtent.cpp21 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicExtentMap, const clang::ento::MemRegion *,
28 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
45 const MemRegion *MR) { in getConstantArrayElementCount()
71 const MemRegion *MR, in getDynamicElementCount()
87 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
93 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset()
108 const MemRegion *MR = BufV.getAsRegion(); in getDynamicElementCountWithOffset()
121 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR, in setDynamicExtent()
H A DDynamicType.cpp26 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
33 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
43 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR) { in getDynamicTypeInfo()
63 const MemRegion *MR) { in getRawDynamicTypeInfo()
75 const MemRegion *MR, in getDynamicCastInfo()
98 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, in setDynamicTypeInfo()
105 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, in setDynamicTypeInfo()
111 const MemRegion *MR, in setDynamicTypeAndCastInfo()
157 static bool isLive(SymbolReaper &SR, const MemRegion *MR) { in isLive()
191 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.h57 class MemRegion; variable
67 const MemRegion *R = nullptr;
78 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} in RegionOffset()
81 const MemRegion *getRegion() const { return R; } in getRegion()
98 class MemRegion : public llvm::FoldingSetNode {
113 MemRegion(Kind k) : kind(k) {} in MemRegion() function
114 virtual ~MemRegion();
158 LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *getBaseRegion() const;
163 const MemRegion *getMostDerivedObjectRegion() const;
167 virtual bool isSubRegionOf(const MemRegion *R) const;
[all …]
H A DStore.h95 const MemRegion *R) = 0;
121 virtual BindResult BindDefaultInitial(Store store, const MemRegion *R,
126 virtual BindResult BindDefaultZero(Store store, const MemRegion *R) = 0;
193 std::optional<const MemRegion *> castRegion(const MemRegion *region,
200 const MemRegion *region) const = 0;
211 using InvalidatedRegions = SmallVector<const MemRegion *, 8>;
257 virtual bool scanReachableSymbols(Store S, const MemRegion *R,
269 const MemRegion *region, SVal val) = 0;
274 const MemRegion* Binding = nullptr;
282 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
[all …]
H A DDynamicExtent.h27 const MemRegion *MR, SValBuilder &SVB);
34 const MemRegion *MR,
38 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
H A DSymbolManager.h70 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
161 const MemRegion *getOriginRegion() const override { return getRegion(); } in getOriginRegion()
222 const MemRegion* R;
232 SymbolMetadata(SymbolID sym, const MemRegion *r, const Stmt *s, QualType t, in SymbolMetadata()
245 const MemRegion *getRegion() const { return R; } in getRegion()
264 static void Profile(llvm::FoldingSetNodeID &profile, const MemRegion *R, in Profile()
569 using RegionSetTy = llvm::DenseSet<const MemRegion *>;
585 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
603 bool isLiveRegion(const MemRegion *region);
635 void markLive(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 DStackAddrEscapeChecker.cpp56 void EmitReturnLeakError(CheckerContext &C, const MemRegion *LeakedRegion,
59 static SourceRange genName(raw_ostream &os, const MemRegion *R,
61 static SmallVector<std::pair<const MemRegion *, const StackSpaceRegion *>, 4>
68 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R, in genName()
136 SmallVector<std::pair<const MemRegion *, const StackSpaceRegion *>, 4>
139 SmallVector<std::pair<const MemRegion *, const StackSpaceRegion *>, 4> in getCapturedStackRegions()
144 if (const MemRegion *Region = Val.getAsRegion()) { in getCapturedStackRegions()
155 const MemRegion *LeakedRegion) { in EmitReturnedAsPartOfError()
156 if (const MemRegion *ReturnedRegion = ReturnedVal.getAsRegion()) { in EmitReturnedAsPartOfError()
168 const MemRegion *R, in EmitReturnLeakError()
[all …]
H A DMoveChecker.cpp58 ArrayRef<const MemRegion *> RequestedRegions,
59 ArrayRef<const MemRegion *> InvalidatedRegions,
147 ObjectKind classifyObject(ProgramStateRef State, const MemRegion *MR,
153 const MemRegion *MR, const CXXRecordDecl *RD,
160 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
181 const MemRegion *Region;
212 void modelUse(ProgramStateRef State, const MemRegion *Region,
219 ExplodedNode *tryToReportBug(const MemRegion *Region, const CXXRecordDecl *RD,
226 const MemRegion *Region,
231 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 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);
168 const MemRegion *Cont,
H A DSmartPtrModeling.cpp56 ArrayRef<const MemRegion *> ExplicitRegions,
57 ArrayRef<const MemRegion *> Regions,
70 const MemRegion *ThisRegion) const;
71 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
72 const MemRegion *OtherSmartPtrRegion,
80 ProgramStateRef State, const MemRegion *ThisRegion,
97 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
146 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr()
159 const MemRegion *Region) { in removeTrackedSubregions()
170 const MemRegion *Region, in updateSwappedRegion()
[all …]
H A DContainerModeling.cpp54 const MemRegion *ContReg,
104 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
105 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
106 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
107 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
108 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
110 const MemRegion *Cont,
114 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
118 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
121 const MemRegion *Cont);
[all …]
H A DErrnoModeling.cpp70 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument
101 const MemRegion *ErrnoR = nullptr; in checkBeginFunction()
117 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()
147 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall()
172 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue()
182 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
193 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
204 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc()
228 const MemRegion *ErrnoR = BR.getErrorNode()->getState()->get<ErrnoRegion>(); in getErrnoNoteTag()
258 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoStdMustBeChecked()
H A DSmartPtrChecker.cpp38 void reportBug(CheckerContext &C, const MemRegion *DerefRegion,
40 void explainDereference(llvm::raw_ostream &OS, const MemRegion *DerefRegion,
64 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion(); in checkPreCall()
75 void SmartPtrChecker::reportBug(CheckerContext &C, const MemRegion *DerefRegion, in reportBug()
90 const MemRegion *DerefRegion, in explainDereference()
H A DCStringChecker.cpp121 ArrayRef<const MemRegion *> ExplicitRegions,
122 ArrayRef<const MemRegion *> Regions,
253 const MemRegion *MR,
258 const MemRegion *MR,
298 const MemRegion *)>
302 const MemRegion *MR);
340 const Expr *E, const MemRegion *R,
357 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
445 const MemRegion *R = Element.getAsRegion(); in checkInit()
564 const MemRegion *R = Element.getAsRegion(); in CheckLocation()
[all …]
H A DErrnoChecker.cpp42 ArrayRef<const MemRegion *> ExplicitRegions,
43 ArrayRef<const MemRegion *> Regions,
53 const MemRegion *ErrnoRegion,
111 CheckerContext &C, ProgramStateRef State, const MemRegion *ErrnoRegion, in generateErrnoNotCheckedBug()
219 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
220 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, in checkRegionChanges()
225 const MemRegion *ErrnoRegion = ErrnoLoc->getAsRegion(); in checkRegionChanges()
H A DBlockInCriticalSectionChecker.cpp42 const MemRegion *LockReg{};
80 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion()
90 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion()
130 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, in getRegion()
132 const MemRegion *LockRegion = nullptr; in getRegion()
299 static const MemRegion *skipStdBaseClassRegion(const MemRegion *Reg) { in skipStdBaseClassRegion()
309 static const MemRegion *getRegion(const CallEvent &Call, in getRegion()
313 [&Call, IsLock](auto &Descr) -> const MemRegion * { in getRegion()
322 const MemRegion *MutexRegion = in handleLock()
336 const MemRegion *MutexRegion = in handleUnlock()
H A DPointerSubChecker.cpp49 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
50 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
81 const MemRegion *SuperLR = ElemLR->getSuperRegion(); in checkPreStmt()
82 const MemRegion *SuperRR = ElemRR->getSuperRegion(); in checkPreStmt()
/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()
133 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait()
140 return (const MemRegion *)nullptr; in topRegionUsedByWait()
145 llvm::SmallVector<const MemRegion *, 2> &ReqRegions, in allRegionsUsedByWait() argument
146 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const { in allRegionsUsedByWait()
175 ReqRegions.push_back(ER->getAs<MemRegion>()); in allRegionsUsedByWait()
/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,

12345