Home
last modified time | relevance | path

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

12345

/src/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 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()
/src/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 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.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 …]
/src/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 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()
120 bool StackAddrEscapeChecker::isNotInCurrentFrame(const MemRegion *R, in isNotInCurrentFrame()
137 SmallVector<const MemRegion *, 4>
140 SmallVector<const MemRegion *, 4> Regions; in getCapturedStackRegions()
143 const MemRegion *Region = Val.getAsRegion(); in getCapturedStackRegions()
151 const MemRegion *R, in EmitStackError()
[all …]
H A DPointerArithChecker.cpp51 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
53 const MemRegion *getPointedRegion(const MemRegion *Region,
75 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()
187 Region->getKind() == MemRegion::Kind::SymbolicRegionKind) in reportPointerArithMisuse()
223 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;
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, 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,
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 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.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 …]
/src/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 …]
/src/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()
/src/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