Home
last modified time | relevance | path

Searched refs:StoreManager (Results 1 – 19 of 19) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp24 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager() function in StoreManager
28 StoreRef StoreManager::enterStackFrame(Store OldStore, in enterStackFrame()
45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, in MakeElementRegion()
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { in BindDefault()
55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, in GetElementZeroRegion()
62 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { in castRegion()
235 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { in evalDerivedToBase()
251 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { in evalDerivedToBase()
262 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
295 SVal StoreManager::evalDynamicCast(SVal Base, QualType TargetType, in evalDynamicCast()
[all …]
DProgramState.cpp188 StoreManager::InvalidatedRegions TopLevelInvalidated; in invalidateRegionsImpl()
189 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
606 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
DSValBuilder.cpp514 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
590 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
DRegionStore.cpp317 class RegionStoreManager : public StoreManager {
348 : StoreManager(mgr), Features(f), in RegionStoreManager()
608 std::unique_ptr<StoreManager>
614 std::unique_ptr<StoreManager>
934 StoreManager::InvalidatedRegions *Regions;
944 StoreManager::InvalidatedRegions *r, in invalidateRegionsWorker()
DExprEngineCallAndReturn.cpp128 StoreManager &StoreMgr) { in adjustReturnValue()
DExprEngine.cpp204 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DStoreRef.h28 class StoreManager; variable
32 StoreManager &mgr;
34 StoreRef(Store, StoreManager &);
47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager()
DStore.h40 class StoreManager {
49 StoreManager(ProgramStateManager &stateMgr);
52 virtual ~StoreManager() {} in ~StoreManager()
212 virtual bool HandleBinding(StoreManager& SMgr, Store store,
226 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
250 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef()
279 std::unique_ptr<StoreManager>
281 std::unique_ptr<StoreManager>
DProgramState.h45 typedef std::unique_ptr<StoreManager>(*StoreManagerCreator)(
453 std::unique_ptr<StoreManager> StoreMgr;
517 StoreManager& getStoreManager() { return *StoreMgr; } in getStoreManager()
537 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { in iterBindings()
714 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
DCheckerContext.h110 StoreManager &getStoreManager() { in getStoreManager()
DExprEngine.h307 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
DSymbolManager.h506 StoreManager &storeMgr) in SymbolReaper()
/external/clang/lib/StaticAnalyzer/Checkers/
DStackAddrEscapeChecker.cpp176 class CallBack : public StoreManager::BindingsHandler { in checkEndFunction()
188 bool HandleBinding(StoreManager &SMgr, Store store, in checkEndFunction()
DCallAndMessageChecker.cpp228 StoreManager &StoreMgr; in PreVisitProcessArg()
232 FindUninitializedField(StoreManager &storeMgr, in PreVisitProcessArg()
DMacOSKeychainAPIChecker.cpp216 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
DRetainCountChecker.cpp2232 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
/external/clang/docs/analyzer/
DRegionStore.txt3 modify the store is its associated StoreManager.
5 Currently (Feb. 2013), the only StoreManager implementation being used is
/external/clang/test/Analysis/
Dmisc-ps.m274 // regardless of how well the underlying StoreManager reasons about pointer
518 // Reduced from a crash in StoreManager::CastRegion involving a divide-by-zero.
Dmisc-ps-region-store.m981 // PR 6036 - This test case triggered a crash inside StoreManager::CastRegion because the size