| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() function in StoreManager
46 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame()
60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
74 Optional<const MemRegion *> StoreManager::castRegion(const MemRegion *R, in castRegion()
276 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
398 SVal StoreManager::getLValueFieldOrIvar(const Decl *D, SVal Base) { in getLValueFieldOrIvar()
439 SVal StoreManager::getLValueIvar(const ObjCIvarDecl *decl, SVal base) { in getLValueIvar()
443 SVal StoreManager::getLValueElement(QualType elementType, NonLoc Offset, in getLValueElement()
521 StoreManager::BindingsHandler::~BindingsHandler() = default;
[all …]
|
| H A D | ProgramState.cpp | 198 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
199 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()
551 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
626 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| H A D | RegionStore.cpp | 327 class RegionStoreManager : public StoreManager {
366 : StoreManager(mgr), RBFactory(mgr.getAllocator()), in RegionStoreManager()
664 std::unique_ptr<StoreManager>
981 StoreManager::InvalidatedRegions *Regions;
991 StoreManager::InvalidatedRegions *r, in InvalidateRegionsWorker()
|
| H A D | ExprEngineCallAndReturn.cpp | 130 StoreManager &StoreMgr) { in adjustReturnValue()
|
| H A D | BugReporterVisitors.cpp | 1526 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
1571 StoreManager::FindUniqueBinding FB(V.getAsLocSymbol()); in VisitNode()
|
| H A D | ExprEngine.cpp | 342 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | StoreRef.h | 21 class StoreManager; variable
31 StoreManager &mgr;
34 StoreRef(Store store, StoreManager &smgr);
47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager()
|
| H A D | Store.h | 53 class StoreManager {
62 StoreManager(ProgramStateManager &stateMgr);
65 virtual ~StoreManager() = default;
257 virtual bool HandleBinding(StoreManager& SMgr, Store store,
271 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
288 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef()
317 std::unique_ptr<StoreManager>
|
| H A D | ProgramState.h | 43 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
509 std::unique_ptr<StoreManager> StoreMgr;
577 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager()
598 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { in iterBindings()
789 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
|
| H A D | CheckerContext.h | 63 StoreManager &getStoreManager() { in getStoreManager()
|
| H A D | SymbolManager.h | 38 class StoreManager; variable
602 SymbolManager &symmgr, StoreManager &storeMgr) in SymbolReaper()
|
| H A D | ExprEngine.h | 419 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | StoreTest.cpp | 44 StoreManager &SManager = Eng.getStoreManager(); in performTest()
112 StoreManager &SManager = Eng.getStoreManager(); in performTest()
|
| H A D | ParamRegionTest.cpp | 29 StoreManager &StMgr = Eng.getStoreManager(); in performTest()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StackAddrEscapeChecker.cpp | 303 class CallBack : public StoreManager::BindingsHandler { in checkEndFunction()
339 bool HandleBinding(StoreManager &SMgr, Store S, const MemRegion *Region, in checkEndFunction()
|
| H A D | CallAndMessageChecker.cpp | 244 StoreManager &StoreMgr;
249 FindUninitializedField(StoreManager &storeMgr, MemRegionManager &mrMgr, in FindUninitializedField()
|
| H A D | MacOSKeychainAPIChecker.cpp | 213 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|
| H A D | MallocChecker.cpp | 755 class OwnershipBindingsHandler : public StoreManager::BindingsHandler {
763 bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *Region, in HandleBinding()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 615 class VarBindingsCollector : public StoreManager::BindingsHandler {
623 bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *R, in HandleBinding()
683 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
|
| /llvm-project-15.0.7/clang/docs/analyzer/developer-docs/ |
| H A D | RegionStore.rst | 6 can modify the store is its associated StoreManager.
8 Currently (Feb. 2013), the only StoreManager implementation being used is
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | misc-ps.m | 274 // regardless of how well the underlying StoreManager reasons about pointer
518 // Reduced from a crash in StoreManager::CastRegion involving a divide-by-zero.
|
| H A D | misc-ps-region-store.m | 982 // PR 6036 - This test case triggered a crash inside StoreManager::CastRegion because the size
|