clang  3.9.0
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::SymbolManager Class Reference

#include <SymbolManager.h>

Public Member Functions

 SymbolManager (ASTContext &ctx, BasicValueFactory &bv, llvm::BumpPtrAllocator &bpalloc)
 
 ~SymbolManager ()
 
const SymbolRegionValuegetRegionValueSymbol (const TypedValueRegion *R)
 Make a unique symbol for MemRegion R according to its kind. More...
 
const SymbolConjuredconjureSymbol (const Stmt *E, const LocationContext *LCtx, QualType T, unsigned VisitCount, const void *SymbolTag=nullptr)
 
const SymbolConjuredconjureSymbol (const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag=nullptr)
 
const SymbolDerivedgetDerivedSymbol (SymbolRef parentSymbol, const TypedValueRegion *R)
 
const SymbolExtentgetExtentSymbol (const SubRegion *R)
 
const SymbolMetadatagetMetadataSymbol (const MemRegion *R, const Stmt *S, QualType T, unsigned VisitCount, const void *SymbolTag=nullptr)
 Creates a metadata symbol associated with a specific region. More...
 
const SymbolCastgetCastSymbol (const SymExpr *Operand, QualType From, QualType To)
 
const SymIntExprgetSymIntExpr (const SymExpr *lhs, BinaryOperator::Opcode op, const llvm::APSInt &rhs, QualType t)
 
const SymIntExprgetSymIntExpr (const SymExpr &lhs, BinaryOperator::Opcode op, const llvm::APSInt &rhs, QualType t)
 
const IntSymExprgetIntSymExpr (const llvm::APSInt &lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t)
 
const SymSymExprgetSymSymExpr (const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType t)
 
QualType getType (const SymExpr *SE) const
 
void addSymbolDependency (const SymbolRef Primary, const SymbolRef Dependent)
 Add artificial symbol dependency. More...
 
const SymbolRefSmallVectorTygetDependentSymbols (const SymbolRef Primary)
 
ASTContextgetContext ()
 
BasicValueFactorygetBasicVals ()
 

Static Public Member Functions

static bool canSymbolicate (QualType T)
 

Detailed Description

Definition at line 389 of file SymbolManager.h.

Constructor & Destructor Documentation

clang::ento::SymbolManager::SymbolManager ( ASTContext ctx,
BasicValueFactory bv,
llvm::BumpPtrAllocator &  bpalloc 
)
inline

Definition at line 403 of file SymbolManager.h.

SymbolManager::~SymbolManager ( )

Definition at line 328 of file SymbolManager.cpp.

Member Function Documentation

void SymbolManager::addSymbolDependency ( const SymbolRef  Primary,
const SymbolRef  Dependent 
)

Add artificial symbol dependency.

The dependent symbol should stay alive as long as the primary is alive.

Definition at line 347 of file SymbolManager.cpp.

References I.

bool SymbolManager::canSymbolicate ( QualType  T)
static
const SymbolConjured * SymbolManager::conjureSymbol ( const Stmt E,
const LocationContext LCtx,
QualType  T,
unsigned  VisitCount,
const void *  SymbolTag = nullptr 
)
const SymbolConjured* clang::ento::SymbolManager::conjureSymbol ( const Expr E,
const LocationContext LCtx,
unsigned  VisitCount,
const void *  SymbolTag = nullptr 
)
inline

Definition at line 421 of file SymbolManager.h.

References conjureSymbol(), and clang::Expr::getType().

BasicValueFactory& clang::ento::SymbolManager::getBasicVals ( )
inline

Definition at line 471 of file SymbolManager.h.

const SymbolCast * SymbolManager::getCastSymbol ( const SymExpr Operand,
QualType  From,
QualType  To 
)

Definition at line 238 of file SymbolManager.cpp.

References ID, and clang::ento::SymbolCast::Profile().

Referenced by clang::ento::SValBuilder::makeNonLoc().

ASTContext& clang::ento::SymbolManager::getContext ( )
inline

Definition at line 470 of file SymbolManager.h.

Referenced by clang::ento::SimpleConstraintManager::assumeAux().

const SymbolRefSmallVectorTy * SymbolManager::getDependentSymbols ( const SymbolRef  Primary)

Definition at line 360 of file SymbolManager.cpp.

References I.

const SymbolDerived * SymbolManager::getDerivedSymbol ( SymbolRef  parentSymbol,
const TypedValueRegion R 
)
const SymbolExtent * SymbolManager::getExtentSymbol ( const SubRegion R)
const IntSymExpr * SymbolManager::getIntSymExpr ( const llvm::APSInt &  lhs,
BinaryOperator::Opcode  op,
const SymExpr rhs,
QualType  t 
)

Definition at line 271 of file SymbolManager.cpp.

References ID, and clang::ento::IntSymExpr::Profile().

Referenced by clang::ento::SValBuilder::makeNonLoc().

const SymbolMetadata * SymbolManager::getMetadataSymbol ( const MemRegion R,
const Stmt S,
QualType  T,
unsigned  VisitCount,
const void *  SymbolTag = nullptr 
)

Creates a metadata symbol associated with a specific region.

VisitCount can be used to differentiate regions corresponding to different loop iterations, thus, making the symbol path-dependent.

Definition at line 220 of file SymbolManager.cpp.

References clang::ento::SymbolMetadata::Profile().

Referenced by clang::ento::SValBuilder::getMetadataSymbolVal().

const SymbolRegionValue * SymbolManager::getRegionValueSymbol ( const TypedValueRegion R)

Make a unique symbol for MemRegion R according to its kind.

Definition at line 151 of file SymbolManager.cpp.

References clang::ento::SymbolRegionValue::Profile().

Referenced by clang::ento::SValBuilder::getRegionValueSymbolVal().

const SymIntExpr * SymbolManager::getSymIntExpr ( const SymExpr lhs,
BinaryOperator::Opcode  op,
const llvm::APSInt &  rhs,
QualType  t 
)
const SymIntExpr* clang::ento::SymbolManager::getSymIntExpr ( const SymExpr lhs,
BinaryOperator::Opcode  op,
const llvm::APSInt &  rhs,
QualType  t 
)
inline

Definition at line 447 of file SymbolManager.h.

References getSymIntExpr().

const SymSymExpr * SymbolManager::getSymSymExpr ( const SymExpr lhs,
BinaryOperator::Opcode  op,
const SymExpr rhs,
QualType  t 
)
QualType clang::ento::SymbolManager::getType ( const SymExpr SE) const
inline

Definition at line 459 of file SymbolManager.h.

References clang::ento::SymExpr::getType().


The documentation for this class was generated from the following files: