| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 80 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in addTaint()
107 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in removeTaint()
171 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) in isTainted()
|
| H A D | PointerSubChecker.cpp | 57 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR)) in checkPreStmt()
|
| H A D | CastSizeChecker.cpp | 109 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
|
| H A D | NullabilityChecker.cpp | 188 const SymbolicRegion *getTrackRegion(SVal Val,
276 const SymbolicRegion *
289 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
291 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
294 return dyn_cast<SymbolicRegion>(Region); in getTrackRegion()
351 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
461 const auto *Region = I->first->getAs<SymbolicRegion>(); in checkDeadSymbols()
|
| H A D | ObjCSuperDeallocChecker.cpp | 149 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) { in checkLocation()
|
| H A D | DeleteWithNonVirtualDtorChecker.cpp | 69 const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>(); in checkPreStmt()
|
| H A D | MIGChecker.cpp | 137 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | PointerArithChecker.cpp | 140 if (isa<SymbolicRegion>(Region)) in getArrayRegion()
|
| H A D | ValistChecker.cpp | 181 IsSymbolic = Reg && Reg->getBaseRegion()->getAs<SymbolicRegion>(); in getVAListAsRegion()
|
| H A D | LocalizationChecker.cpp | 959 const SymbolicRegion *SymReg = in checkPostCall()
960 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
|
| H A D | ExprInspectionChecker.cpp | 358 MR->castAs<SymbolicRegion>()->getSymbol()->getType()->getPointeeType(); in analyzerDumpElementCount()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 71 if (const SymbolicRegion *SymR = in getAsLocSymbol()
73 : dyn_cast<SymbolicRegion>(R->StripCasts())) in getAsLocSymbol()
89 if (const auto *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase()
174 QualType VisitSymbolicRegion(const SymbolicRegion *SR) { in VisitSymbolicRegion()
|
| H A D | MemRegion.cpp | 328 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
329 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
524 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
1152 const SymbolicRegion *
1157 return getSubRegion<SymbolicRegion>(sym, MemSpace); in getSymbolicRegion()
1161 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1350 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase()
1354 if (const auto *SymR = dyn_cast<SymbolicRegion>(SubR)) in getSymbolicBase()
1481 } else if (const auto *SR = dyn_cast<SymbolicRegion>(R)) { in calculateOffset()
1725 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in setTrait()
[all …]
|
| H A D | Store.cpp | 87 if (isa<CodeTextRegion, SymbolicRegion>(R)) in castRegion()
290 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
312 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
382 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in evalBaseToDerived()
|
| H A D | RegionStore.cpp | 1116 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1127 if (isa<AllocaRegion, SymbolicRegion>(baseR)) { in VisitCluster()
1216 if (isa_and_nonnull<SymbolicRegion>(R)) in VisitCluster()
1423 else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in getBinding()
1527 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in getUnderlyingType()
2393 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in bind()
2748 SmallVector<const SymbolicRegion *, 12> Postponed;
2789 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
2821 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
2873 if (const SymbolicRegion *SR = *I) { in UpdatePostponed()
|
| H A D | SValBuilder.cpp | 724 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitLocMemRegionVal()
777 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) { in VisitLocMemRegionVal()
928 if (const SymbolicRegion *SR = in VisitNonLocLocAsInteger()
929 dyn_cast<SymbolicRegion>(R->StripCasts())) { in VisitNonLocLocAsInteger()
|
| H A D | ProgramState.cpp | 614 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
|
| H A D | DynamicType.cpp | 55 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in getDynamicTypeInfo()
|
| H A D | SimpleSValBuilder.cpp | 952 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
|
| H A D | SymbolManager.cpp | 444 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 38 bool isThisObject(const SymbolicRegion *R) { in isThisObject()
59 if (auto SR = dyn_cast<SymbolicRegion>(R)) { in VisitLocMemRegionVal()
146 std::string VisitSymbolicRegion(const SymbolicRegion *R) { in VisitSymbolicRegion()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 146 const auto *SymRegOfRetVal = cast<SymbolicRegion>(RetVal.getAsRegion()); in postPreviousReturnInvalidatingCall()
204 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>( in checkPostCall()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 58 class SymbolicRegion; variable
137 const SymbolicRegion *getSymbolicBase() const;
770 class SymbolicRegion : public SubRegion {
775 SymbolicRegion(const SymbolRef s, const MemSpaceRegion *sreg) in SymbolicRegion() function
1419 const SymbolicRegion *
1423 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
|
| H A D | Regions.def | 59 REGION(SymbolicRegion, SubRegion)
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 1195 if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
|