|
clang
5.0.0
|
#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"Go to the source code of this file.
Classes | |
| class | clang::ento::StoreManager |
| class | clang::ento::StoreManager::BindingsHandler |
| class | clang::ento::StoreManager::FindUniqueBinding |
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| 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) |
1.8.6