| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | StoreRef.h | 24 /// memory model. Different subclasses of StoreManager may choose
28 class StoreManager;
32 StoreManager &mgr;
34 StoreRef(Store, StoreManager &);
47 const StoreManager &getStoreManager() const { return mgr; }
|
| H A D | Store.h | 10 // This file defined the types Store and StoreManager.
37 class StoreManager { class in namespace:clang::ento
42 /// MRMgr - Manages region objects associated with this StoreManager.
46 StoreManager(ProgramStateManager &stateMgr);
49 virtual ~StoreManager() {}
162 /// If the StoreManager supports it, increment the reference count of
166 /// If the StoreManager supports it, decrement the reference count of
201 /// enterStackFrame - Let the StoreManager to do something when execution
213 virtual bool HandleBinding(StoreManager& SMgr, Store store,
226 bool HandleBinding(StoreManager
[all...] |
| H A D | SubEngine.h | 105 const StoreManager::InvalidatedSymbols *invalidated,
|
| H A D | CheckerContext.h | 63 StoreManager &getStoreManager() {
|
| H A D | ProgramState.h | 42 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
222 StoreManager::InvalidatedSymbols *IS = 0,
384 StoreManager::InvalidatedSymbols &IS,
400 OwningPtr<StoreManager> StoreMgr;
483 StoreManager& getStoreManager() { return *StoreMgr; }
507 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
|
| H A D | ExprEngine.h | 220 const StoreManager::InvalidatedSymbols *invalidated,
231 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
|
| H A D | SymbolManager.h | 580 StoreManager &storeMgr)
638 /// StoreManager::removeDeadBindings has been called.
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 10 // This file defined the types Store and StoreManager.
22 StoreManager::StoreManager(ProgramStateManager &stateMgr) function in class:StoreManager
26 StoreRef StoreManager::enterStackFrame(ProgramStateRef state,
32 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
49 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
53 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
60 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
214 /// CastRetrievedVal - Used by subclasses of StoreManager to implement
217 SVal StoreManager
[all...] |
| H A D | SValBuilder.cpp | 305 StoreManager &storeMgr = StateMgr.getStoreManager();
376 StoreManager &storeMgr = StateMgr.getStoreManager();
|
| H A D | ProgramState.cpp | 159 StoreManager::InvalidatedSymbols *IS,
162 StoreManager::InvalidatedSymbols invalidated;
173 StoreManager::InvalidatedSymbols &IS,
179 StoreManager::InvalidatedRegions Invalidated;
|
| H A D | RegionStore.cpp | 195 class RegionStoreManager : public StoreManager {
201 : StoreManager(mgr),
321 /// If the StoreManager supports it, decrement the reference count of
438 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
443 StoreManager *
610 StoreManager::InvalidatedSymbols &IS;
611 StoreManager::InvalidatedRegions *Regions;
618 StoreManager::InvalidatedSymbols &is,
619 StoreManager::InvalidatedRegions *r,
|
| H A D | ExprEngineCallAndReturn.cpp | 346 // with an interface to StoreManager so that this logic can be
378 StoreManager::InvalidatedSymbols IS;
|
| H A D | CheckerManager.cpp | 426 const StoreManager::InvalidatedSymbols *invalidated,
|
| H A D | ExprEngine.cpp | 196 const StoreManager::InvalidatedSymbols *invalidated,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 204 const StoreManager::InvalidatedSymbols *,
|
| H A D | CallAndMessageChecker.cpp | 132 StoreManager &StoreMgr;
136 FindUninitializedField(ASTContext &c, StoreManager &storeMgr,
|
| H A D | MacOSKeychainAPIChecker.cpp | 231 StoreManager& SM = C.getStoreManager();
|
| H A D | MallocChecker.cpp | 132 const StoreManager::InvalidatedSymbols *invalidated,
1323 const StoreManager::InvalidatedSymbols *invalidated,
1343 for (StoreManager::InvalidatedSymbols::const_iterator I=invalidated->begin(),
|
| H A D | CStringChecker.cpp | 66 const StoreManager::InvalidatedSymbols *,
1876 const StoreManager::InvalidatedSymbols *,
|
| H A D | RetainCountChecker.cpp | 2151 StoreManager::FindUniqueBinding FB(Sym);
2472 const StoreManager::InvalidatedSymbols *invalidated,
3406 const StoreManager::InvalidatedSymbols *invalidated,
3420 for (StoreManager::InvalidatedSymbols::const_iterator I=invalidated->begin(),
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 293 const StoreManager::InvalidatedSymbols *invalidated,
372 const StoreManager::InvalidatedSymbols *symbols,
|
| H A D | Checker.h | 266 const StoreManager::InvalidatedSymbols *invalidated,
|