#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"#include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"#include "llvm/ADT/DenseSet.h"#include "llvm/ADT/Optional.h"
Include dependency graph for Store.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | clang::ento::StoreManager |
| class | clang::ento::StoreManager::BindingsHandler |
| class | clang::ento::StoreManager::FindUniqueBinding |
Namespaces | |
| namespace | clang |
| namespace | clang::ento |
Typedefs | |
| typedef llvm::DenseSet< SymbolRef > | clang::ento::InvalidatedSymbols |
Functions | |
| std::unique_ptr< StoreManager > | clang::ento::CreateRegionStoreManager (ProgramStateManager &StMgr) |
| std::unique_ptr< StoreManager > | clang::ento::CreateFieldsOnlyRegionStoreManager (ProgramStateManager &StMgr) |