SymbolManager.h File Reference

#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntPtr.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableSet.h"
#include "llvm/ADT/iterator_range.h"
#include "llvm/Support/Allocator.h"
#include <cassert>

Go to the source code of this file.

Classes
class	clang::ento::SymbolRegionValue
	A symbol representing the value stored at a MemRegion. More...
class	clang::ento::SymbolConjured
	A symbol representing the result of an expression in the case when we do not know anything about what the expression is. More...
class	clang::ento::SymbolDerived
	A symbol representing the value of a MemRegion whose parent region has symbolic value. More...
class	clang::ento::SymbolExtent
	SymbolExtent - Represents the extent (size in bytes) of a bounded region. More...
class	clang::ento::SymbolMetadata
	SymbolMetadata - Represents path-dependent metadata about a specific region. More...
class	clang::ento::SymbolCast
	Represents a cast expression. More...
class	clang::ento::UnarySymExpr
	Represents a symbolic expression involving a unary operator. More...
class	clang::ento::BinarySymExpr
	Represents a symbolic expression involving a binary operator. More...
class	clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassK >
	Template implementation for all binary symbolic expressions. More...
class	clang::ento::SymExprAllocator
class	clang::ento::SymbolManager
class	clang::ento::SymbolReaper
	A class responsible for cleaning up unused symbols. More...
class	clang::ento::SymbolVisitor
struct	llvm::ImutContainerInfo< clang::ento::SymbolRef >

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::ento

Typedefs
using	clang::ento::SymIntExpr
	Represents a symbolic expression like 'x' + 3.
using	clang::ento::IntSymExpr
	Represents a symbolic expression like 3 - 'x'.
using	clang::ento::SymSymExpr
	Represents a symbolic expression like 'x' + 'y'.