ProgramState.h File Reference

#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeInfo.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/Environment.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableMap.h"
#include "llvm/Support/Allocator.h"
#include <optional>
#include <utility>

Go to the source code of this file.

Classes
struct	clang::ento::ProgramStateTrait< T >
class	clang::ento::ProgramState
	ProgramState - This class encapsulates: More...
class	clang::ento::ProgramStateManager
class	clang::ento::ScanReachableSymbols
	A utility class that visits the reachable symbols using a custom SymbolVisitor. More...

Namespaces
namespace	llvm
	Diagnostic wrappers for TextAPI types for error reporting.
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::ento

Typedefs
typedef std::unique_ptr< ConstraintManager >(*	clang::ento::ConstraintManagerCreator) (ProgramStateManager &, ExprEngine *)
typedef std::unique_ptr< StoreManager >(*	clang::ento::StoreManagerCreator) (ProgramStateManager &)