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

#include "clang/StaticAnalyzer/Core/PathSensitive/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, const LocationContext *LCtx, 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 431 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ SymbolManager()

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

Definition at line 445 of file SymbolManager.h.

◆ ~SymbolManager()

SymbolManager::~SymbolManager ( )

Definition at line 330 of file SymbolManager.cpp.

Member Function Documentation

◆ addSymbolDependency()

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 349 of file SymbolManager.cpp.

Referenced by getAsPointeeSymbol().

◆ canSymbolicate()

bool SymbolManager::canSymbolicate ( QualType  T)
static

◆ conjureSymbol() [1/2]

const SymbolConjured * SymbolManager::conjureSymbol ( const Stmt E,
const LocationContext LCtx,
QualType  T,
unsigned  VisitCount,
const void *  SymbolTag = nullptr 
)

◆ conjureSymbol() [2/2]

const SymbolConjured* clang::ento::SymbolManager::conjureSymbol ( const Expr E,
const LocationContext LCtx,
unsigned  VisitCount,
const void *  SymbolTag = nullptr 
)
inline

Definition at line 463 of file SymbolManager.h.

References clang::Expr::getType().

◆ getBasicVals()

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

Definition at line 515 of file SymbolManager.h.

◆ getCastSymbol()

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

Definition at line 240 of file SymbolManager.cpp.

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

◆ getContext()

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

Definition at line 514 of file SymbolManager.h.

Referenced by clang::ento::RangedConstraintManager::assumeSym().

◆ getDependentSymbols()

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

Definition at line 362 of file SymbolManager.cpp.

◆ getDerivedSymbol()

const SymbolDerived * SymbolManager::getDerivedSymbol ( SymbolRef  parentSymbol,
const TypedValueRegion R 
)

◆ getExtentSymbol()

const SymbolExtent * SymbolManager::getExtentSymbol ( const SubRegion R)

◆ getIntSymExpr()

const IntSymExpr * SymbolManager::getIntSymExpr ( const llvm::APSInt &  lhs,
BinaryOperator::Opcode  op,
const SymExpr rhs,
QualType  t 
)

Definition at line 273 of file SymbolManager.cpp.

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

◆ getMetadataSymbol()

const SymbolMetadata * SymbolManager::getMetadataSymbol ( const MemRegion R,
const Stmt S,
QualType  T,
const LocationContext LCtx,
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 221 of file SymbolManager.cpp.

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

◆ getRegionValueSymbol()

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

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

Definition at line 152 of file SymbolManager.cpp.

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

◆ getSymIntExpr() [1/2]

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

Definition at line 255 of file SymbolManager.cpp.

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

◆ getSymIntExpr() [2/2]

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

Definition at line 491 of file SymbolManager.h.

◆ getSymSymExpr()

const SymSymExpr * SymbolManager::getSymSymExpr ( const SymExpr lhs,
BinaryOperator::Opcode  op,
const SymExpr rhs,
QualType  t 
)

◆ getType()

QualType clang::ento::SymbolManager::getType ( const SymExpr SE) const
inline

Definition at line 503 of file SymbolManager.h.

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


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