clang  13.0.0git
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)
 
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 417 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ SymbolManager()

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

Definition at line 434 of file SymbolManager.h.

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

◆ canSymbolicate()

bool SymbolManager::canSymbolicate ( QualType  T)
static

◆ conjureSymbol() [1/2]

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

Definition at line 449 of file SymbolManager.h.

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

◆ conjureSymbol() [2/2]

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

◆ getBasicVals()

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

Definition at line 501 of file SymbolManager.h.

◆ getCastSymbol()

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

Definition at line 243 of file SymbolManager.cpp.

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

◆ getContext()

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

Definition at line 500 of file SymbolManager.h.

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

◆ getDependentSymbols()

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

Definition at line 357 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 276 of file SymbolManager.cpp.

◆ 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 225 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 157 of file SymbolManager.cpp.

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

◆ getSymIntExpr() [1/2]

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

Definition at line 477 of file SymbolManager.h.

References getSymIntExpr().

◆ getSymIntExpr() [2/2]

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

◆ 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 489 of file SymbolManager.h.

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


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