| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 53 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
59 stateMgr->getStoreManager().incrementReferenceCount(store); in ProgramState()
64 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()
450 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore); in setStore()
452 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
469 Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot); in printJson()
551 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
626 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| H A D | CheckerContext.cpp | 131 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
|
| H A D | ExprEngineC.cpp | 431 val = getStoreManager().evalDerivedToBase(val, CastE); in VisitCast()
450 StateMgr.getStoreManager().evalBaseToDerived(val, T)) { in VisitCast()
487 Optional<SVal> V = getStoreManager().evalBaseToDerived(val, T); in VisitCast()
|
| H A D | SymbolManager.cpp | 565 reapedStore.getStoreManager().includedInBindings(store, VR); in isLive()
|
| H A D | ExprEngine.cpp | 342 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
886 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
1189 ArgR = getStoreManager().GetElementZeroRegion(cast<SubRegion>(ArgR), DTy); in ProcessDeleteDtor()
1207 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, in ProcessBaseDtor()
|
| H A D | SValBuilder.cpp | 302 if (auto OptR = StateMgr.getStoreManager().castRegion(R, Ty)) in getCastedMemRegionVal()
|
| H A D | ExprEngineCXX.cpp | 656 getStoreManager().evalDerivedToBase(ThisVal, E->getType(), IsVirtual); in handleConstructor()
|
| H A D | ExprEngineCallAndReturn.cpp | 250 getStoreManager()); in processCallExit()
|
| H A D | CallEvent.cpp | 774 StateMgr.getStoreManager().evalBaseToDerived(ThisVal, Ty); in getInitialStackFrameContents()
|
| H A D | SimpleSValBuilder.cpp | 1064 Result = StateMgr.getStoreManager().evalDerivedToBase( in evalBinOpLN()
|
| H A D | BugReporterVisitors.cpp | 1526 const StoreManager &SM = BRC.getStateManager().getStoreManager(); in VisitNode()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | StoreRef.h | 47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager() function
|
| H A D | CheckerContext.h | 63 StoreManager &getStoreManager() { in getStoreManager() function
64 return Eng.getStoreManager(); in getStoreManager()
|
| H A D | ExprEngine.h | 419 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager() function
|
| H A D | ProgramState.h | 577 StoreManager &getStoreManager() { return *StoreMgr; } in getStoreManager() function
|
| /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 | SymbolReaperTest.cpp | 36 Eng.getSymbolManager(), 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 | BuiltinFunctionChecker.cpp | 85 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
|
| H A D | VforkChecker.cpp | 169 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
|
| H A D | Taint.cpp | 67 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()
|
| H A D | StackAddrEscapeChecker.cpp | 359 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in checkEndFunction()
|
| H A D | MacOSKeychainAPIChecker.cpp | 213 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|
| H A D | CallAndMessageChecker.cpp | 321 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
| H A D | MallocChecker.cpp | 788 State->getStateManager().getStoreManager().iterBindings(State->getStore(), in getOwnersAtNode()
|