| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Store.cpp | 24 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()
62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { in BindDefault()
66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, in GetElementZeroRegion()
73 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { in castRegion()
246 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) { in evalDerivedToBase()
262 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) { in evalDerivedToBase()
273 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType, in evalDerivedToBase()
292 SVal StoreManager::evalDynamicCast(SVal Base, QualType DerivedType, in evalDynamicCast()
[all …]
|
| D | SValBuilder.cpp | 337 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
411 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| D | ProgramState.cpp | 171 StoreManager::InvalidatedRegions Invalidated; in invalidateRegionsImpl()
526 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
577 StoreManager &StoreMgr = state->getStateManager().getStoreManager(); in scan()
|
| D | RegionStore.cpp | 322 class RegionStoreManager : public StoreManager {
336 : StoreManager(mgr), Features(f), in RegionStoreManager()
576 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) { in CreateRegionStoreManager()
581 StoreManager *
874 StoreManager::InvalidatedRegions *Regions;
882 StoreManager::InvalidatedRegions *r, in invalidateRegionsWorker()
|
| D | ExprEngineCallAndReturn.cpp | 122 StoreManager &StoreMgr) { in adjustReturnValue()
|
| D | ExprEngine.cpp | 179 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | StoreRef.h | 28 class StoreManager; variable
32 StoreManager &mgr;
34 StoreRef(Store, StoreManager &);
47 const StoreManager &getStoreManager() const { return mgr; } in getStoreManager()
|
| D | Store.h | 40 class StoreManager {
49 StoreManager(ProgramStateManager &stateMgr);
52 virtual ~StoreManager() {} in ~StoreManager()
220 virtual bool HandleBinding(StoreManager& SMgr, Store store,
233 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
257 inline StoreRef::StoreRef(Store store, StoreManager & smgr) in StoreRef()
286 StoreManager *CreateRegionStoreManager(ProgramStateManager& StMgr);
287 StoreManager *CreateFieldsOnlyRegionStoreManager(ProgramStateManager& StMgr);
|
| D | ProgramState.h | 44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
440 OwningPtr<StoreManager> StoreMgr;
504 StoreManager& getStoreManager() { return *StoreMgr; } in getStoreManager()
524 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { in iterBindings()
674 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
|
| D | CheckerContext.h | 110 StoreManager &getStoreManager() { in getStoreManager()
|
| D | ExprEngine.h | 278 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
|
| D | SymbolManager.h | 586 StoreManager &storeMgr) in SymbolReaper()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StackAddrEscapeChecker.cpp | 167 class CallBack : public StoreManager::BindingsHandler { in checkEndFunction()
179 bool HandleBinding(StoreManager &SMgr, Store store, in checkEndFunction()
|
| D | CallAndMessageChecker.cpp | 144 StoreManager &StoreMgr; in PreVisitProcessArg()
148 FindUninitializedField(StoreManager &storeMgr, in PreVisitProcessArg()
|
| D | MacOSKeychainAPIChecker.cpp | 221 StoreManager& SM = C.getStoreManager(); in getAsPointeeSymbol()
|
| D | RetainCountChecker.cpp | 2173 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
|
| /external/clang/docs/analyzer/ |
| D | RegionStore.txt | 3 modify the store is its associated StoreManager.
5 Currently (Feb. 2013), the only StoreManager implementation being used is
|
| /external/clang/test/Analysis/ |
| D | misc-ps.m | 287 // regardless of how well the underlying StoreManager reasons about pointer
531 // Reduced from a crash in StoreManager::CastRegion involving a divide-by-zero.
|
| D | misc-ps-region-store.m | 981 // PR 6036 - This test case triggered a crash inside StoreManager::CastRegion because the size
|