SymbolManager.h File Reference

#include "clang/AST/Decl.h"
#include "clang/AST/Expr.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/DataTypes.h"

Include dependency graph for SymbolManager.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	clang::ento::SymExpr
	Symbolic value. These values used to capture symbolic execution of the program. More...
class	clang::ento::SymExpr::symbol_iterator
	Iterator over symbols that the current symbol depends on. More...
class	clang::ento::SymbolData
	A symbol representing data which can be stored in a memory location (region). More...
class	clang::ento::SymbolRegionValue
	A symbol representing the value stored at a MemRegion. More...
class	clang::ento::SymbolConjured
class	clang::ento::SymbolDerived
class	clang::ento::SymbolExtent
class	clang::ento::SymbolMetadata
class	clang::ento::SymbolCast
	Represents a cast expression. More...
class	clang::ento::BinarySymExpr
	Represents a symbolic expression involving a binary operator. More...
class	clang::ento::SymIntExpr
	Represents a symbolic expression like 'x' + 3. More...
class	clang::ento::IntSymExpr
	Represents a symbolic expression like 3 - 'x'. More...
class	clang::ento::SymSymExpr
	Represents a symbolic expression like 'x' + 'y'. More...
class	clang::ento::SymbolManager
class	clang::ento::SymbolReaper
	A class responsible for cleaning up unused symbols. More...
class	clang::ento::SymbolVisitor
Namespaces
namespace	clang
namespace	clang::ento
namespace	llvm
Typedefs
typedef SmallVector< SymbolRef, 2 >	clang::ento::SymbolRefSmallVectorTy
typedef unsigned	clang::ento::SymbolID
Functions
static raw_ostream &	llvm::operator<< (raw_ostream &os, const clang::ento::SymExpr *SE)