Home
last modified time | relevance | path

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

12345

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp122 MemRegion::~MemRegion() = default;
133 const MemRegion* r = this; in isSubRegionOf()
710 const MemRegion *R = this; in getDescriptiveName()
1310 const MemRegion *R = this; in getMemorySpace()
1335 const MemRegion *MemRegion::getBaseRegion() const { in getBaseRegion()
1336 const MemRegion *R = this; in getBaseRegion()
1355 const MemRegion *MemRegion::getMostDerivedObjectRegion() const { in getMostDerivedObjectRegion()
1356 const MemRegion *R = this; in getMostDerivedObjectRegion()
1362 bool MemRegion::isSubRegionOf(const MemRegion *) const { in isSubRegionOf()
1370 const MemRegion *MemRegion::StripCasts(bool StripBaseAndDerivedCasts) const { in StripCasts()
[all …]
H A DStore.cpp74 std::optional<const MemRegion *> StoreManager::castRegion(const MemRegion *R, in castRegion()
120 case MemRegion::CXXThisRegionKind: in castRegion()
121 case MemRegion::CodeSpaceRegionKind: in castRegion()
124 case MemRegion::HeapSpaceRegionKind: in castRegion()
134 case MemRegion::BlockCodeRegionKind: in castRegion()
136 case MemRegion::StringRegionKind: in castRegion()
138 case MemRegion::SymbolicRegionKind: in castRegion()
139 case MemRegion::AllocaRegionKind: in castRegion()
141 case MemRegion::FieldRegionKind: in castRegion()
142 case MemRegion::ObjCIvarRegionKind: in castRegion()
[all …]
H A DRegionStore.cpp50 llvm::PointerIntPair<const MemRegion *, 2> P;
86 const MemRegion *getBaseRegion() const { in getBaseRegion()
728 bool isVisited(const MemRegion *R) { in isVisited()
736 const MemRegion *Base = RI.getKey(); in GenerateClusters()
756 bool AddToWorkList(const MemRegion *R) { in AddToWorkList()
763 const MemRegion *BaseR = E; in RunWorkList()
811 const MemRegion *R = K.getRegion(); in getSymbolicOffsetFields()
1004 bool AddToWorkList(const MemRegion *R);
1233 const MemRegion *R) { in isInitiallyIncludedGlobalRegion()
1638 const MemRegion *Base; in getElementRegionOffsetsWithBase()
[all …]
H A DDynamicExtent.cpp22 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicExtentMap, const clang::ento::MemRegion *,
29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
46 const MemRegion *MR) { in getConstantArrayElementCount()
72 const MemRegion *MR, in getDynamicElementCount()
88 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
94 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset()
109 const MemRegion *MR = BufV.getAsRegion(); in getDynamicElementCountWithOffset()
122 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()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h55 class MemRegion; variable
65 const MemRegion *R = nullptr;
109 MemRegion(Kind k) : kind(k) {} in MemRegion() function
110 virtual ~MemRegion();
441 class SubRegion : public MemRegion {
445 const MemRegion* superRegion;
447 SubRegion(const MemRegion *sReg, Kind k) : MemRegion(k), superRegion(sReg) { in SubRegion()
708 const MemRegion * const *R;
1176 const MemRegion *Region;
1403 llvm::FoldingSet<MemRegion> Regions;
[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.h30 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
35 const MemRegion *MR);
43 const MemRegion *MR,
48 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
52 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
67 const MemRegion *MR,
H A DSymbolManager.h217 const MemRegion* R;
237 const MemRegion *getRegion() const { return R; } in getRegion()
581 using RegionSetTy = llvm::DenseSet<const MemRegion *>;
597 llvm::DenseMap<const MemRegion *, unsigned> includedRegionCache;
615 bool isLiveRegion(const MemRegion *region);
647 void markLive(const MemRegion *region);
648 void markLazilyCopied(const MemRegion *region);
649 void markElementIndicesLive(const MemRegion *region);
656 bool isLazilyCopiedRegion(const MemRegion *region) const;
660 bool isReadableRegion(const MemRegion *region);
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp115 const MemRegion *) in REGISTER_SET_WITH_PROGRAMSTATE()
120 const MemRegion *MainRegion = State->get<MainEnvPtrRegion>(); in REGISTER_SET_WITH_PROGRAMSTATE()
140 for (const MemRegion *MR : GetenvRegions) { in REGISTER_SET_WITH_PROGRAMSTATE()
165 if (const MemRegion *MainEnvPtr = State->get<MainEnvPtrRegion>()) in EnvpInvalidatingCall()
167 for (const MemRegion *EnvPtr : State->get<GetenvEnvPtrRegions>()) in EnvpInvalidatingCall()
186 const MemRegion *PrevReg = *Reg; in postPreviousReturnInvalidatingCall()
214 const MemRegion *MR = SymRegOfRetVal->getBaseRegion(); in postPreviousReturnInvalidatingCall()
257 const MemRegion *Region = Call.getReturnValue().getAsRegion(); in checkPostCall()
286 if (const MemRegion *InvalidatedSymbolicBase = in checkPostCall()
319 const MemRegion *EnvpReg = in checkBeginFunction()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMoveChecker.cpp179 const MemRegion *Region;
224 const MemRegion *Region,
256 const MemRegion *Region) { in isAnyBaseRegionReported()
264 static const MemRegion *unwrapRValueReferenceIndirection(const MemRegion *MR) { in unwrapRValueReferenceIndirection()
268 if (const MemRegion *OriginMR = Sym->getOriginRegion()) in unwrapRValueReferenceIndirection()
473 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
551 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
687 const MemRegion *Region = E.first; in checkDeadSymbols()
700 ArrayRef<const MemRegion *> RequestedRegions, in checkRegionChanges()
701 ArrayRef<const MemRegion *> InvalidatedRegions, in checkRegionChanges()
[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>
137 SmallVector<const MemRegion *, 4>
140 SmallVector<const MemRegion *, 4> Regions; in getCapturedStackRegions()
143 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
261 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
332 SmallVector<std::pair<const MemRegion *, const MemRegion *>, 10> V; in checkEndFunction()
338 const MemRegion *VR = Val.getAsRegion(); in checkEndFunction()
372 const MemRegion *Referrer = P.first->getBaseRegion(); in checkEndFunction()
[all …]
H A DPointerArithChecker.cpp51 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
53 const MemRegion *getPointedRegion(const MemRegion *Region,
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()
223 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
244 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
260 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
[all …]
H A DValistChecker.cpp28 typedef SmallVector<const MemRegion *, 2> RegionVector;
57 const MemRegion *getVAListAsRegion(SVal SV, const Expr *VAExpr,
74 ValistBugVisitor(const MemRegion *Reg, bool IsLeak = false) in ValistBugVisitor()
97 const MemRegion *Reg;
140 const MemRegion *VAList = in checkPreCall()
166 const MemRegion *Reg = SV.getAsRegion(); in getVAListAsRegion()
192 const MemRegion *VAList = in checkPreStmt()
225 const MemRegion *Reg) const { in getStartCallSite()
311 const MemRegion *VAList = in checkVAListStartCall()
319 const MemRegion *Arg2 = in checkVAListStartCall()
[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, const Stmt *S,
H A DSmartPtrModeling.cpp59 ArrayRef<const MemRegion *> Regions,
72 const MemRegion *ThisRegion) const;
162 const MemRegion *Region) { in removeTrackedSubregions()
347 const MemRegion *ThisR = in evalCall()
476 const MemRegion *Reg = S.getAsRegion(); in handleComparisionOp()
547 const MemRegion *Region = E.first; in checkDeadSymbols()
575 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
677 const MemRegion *FirstThisRegion = First.getAsRegion(); in handleSwap()
680 const MemRegion *SecondThisRegion = Second.getAsRegion(); in handleSwap()
780 CheckerContext &C, const MemRegion *ThisRegion, in updateMovedSmartPointers()
[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);
116 const MemRegion *Cont);
130 const MemRegion *Cont,
142 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
763 const MemRegion *Reg) { in getCXXRecordDecl()
792 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable()
807 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) { in backModifiable()
[all …]
H A DErrnoModeling.cpp73 REGISTER_TRAIT_WITH_PROGRAMSTATE(ErrnoRegion, const MemRegion *) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument
144 const MemRegion *ErrnoR = in checkBeginFunction()
162 RMgr.getGlobalsRegion(MemRegion::GlobalSystemSpaceRegionKind); in checkBeginFunction()
172 const MemRegion *ErrnoR = RMgr.getElementRegion( in checkBeginFunction()
188 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in evalCall()
213 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoValue()
223 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
234 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in setErrnoValue()
245 const MemRegion *ErrnoR = State->get<ErrnoRegion>(); in getErrnoLoc()
275 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.cpp45 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
46 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
51 const MemRegion *BaseLR = LR->getBaseRegion(); in checkPreStmt()
52 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.cpp819 case MemRegion::StringRegionKind: in setCStringLength()
824 case MemRegion::SymbolicRegionKind: in setCStringLength()
825 case MemRegion::AllocaRegionKind: in setCStringLength()
828 case MemRegion::FieldRegionKind: in setCStringLength()
833 case MemRegion::ElementRegionKind: in setCStringLength()
946 case MemRegion::AllocaRegionKind: in getCStringLength()
948 case MemRegion::FieldRegionKind: in getCStringLength()
954 case MemRegion::ElementRegionKind: in getCStringLength()
1177 case MemRegion::CXXThisRegionKind: in SummarizeRegion()
1188 case MemRegion::FieldRegionKind: in SummarizeRegion()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h43 const MemRegion *const RequestRegion,
54 const MemRegion *const RequestRegion,
65 const MemRegion *const RequestRegion,
79 RequestNodeVisitor(const MemRegion *const MemoryRegion, in RequestNodeVisitor()
94 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()
/freebsd-14.2/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