Symbolic value. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"

Inheritance diagram for clang::ento::SymExpr:

[legend]

Classes
class	symbol_iterator
	Iterator over symbols that the current symbol depends on. More...

Public Types
enum	Kind

Public Member Functions
virtual	~SymExpr ()=default

Kind	getKind () const

virtual void	dump () const

virtual void	dumpToStream (raw_ostream &os) const

virtual QualType	getType () const =0

virtual void	Profile (llvm::FoldingSetNodeID &profile)=0

llvm::iterator_range< symbol_iterator >	symbols () const

virtual unsigned	computeComplexity () const =0

virtual const MemRegion *	getOriginRegion () const
	Find the region from which this symbol originates.

Protected Member Functions
	SymExpr (Kind k)

Static Protected Member Functions
static bool	isValidTypeForSymbol (QualType T)

Protected Attributes
unsigned	Complexity = 0

Detailed Description

Symbolic value.

These values used to capture symbolic execution of the program.

Definition at line 30 of file SymExpr.h.

Member Enumeration Documentation

◆ Kind

enum clang::ento::SymExpr::Kind

Definition at line 34 of file SymExpr.h.

Constructor & Destructor Documentation

◆ SymExpr()

clang::ento::SymExpr::SymExpr ( Kind k )

inlineprotected

Definition at line 44 of file SymExpr.h.

◆ ~SymExpr()

virtual clang::ento::SymExpr::~SymExpr ( )

virtualdefault

Member Function Documentation

◆ computeComplexity()

virtual unsigned clang::ento::SymExpr::computeComplexity ( ) const

pure virtual

Implemented in clang::ento::SymbolCast, clang::ento::UnarySymExpr, clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassKind >, and clang::ento::SymbolData.

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

◆ dump()

LLVM_DUMP_METHOD void SymExpr::dump ( ) const

virtual

Definition at line 44 of file SymbolManager.cpp.

References dumpToStream().

◆ dumpToStream()

virtual void clang::ento::SymExpr::dumpToStream ( raw_ostream & os ) const

inlinevirtual

Reimplemented in clang::ento::SymbolRegionValue, clang::ento::SymbolConjured, clang::ento::SymbolDerived, clang::ento::SymbolExtent, clang::ento::SymbolMetadata, clang::ento::SymbolCast, clang::ento::UnarySymExpr, and clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassKind >.

Definition at line 61 of file SymExpr.h.

Referenced by dump(), clang::ento::SymbolCast::dumpToStream(), clang::ento::UnarySymExpr::dumpToStream(), clang::ento::BinarySymExpr::dumpToStreamImpl(), clang::ento::operator<<(), and toString().

◆ getKind()

Kind clang::ento::SymExpr::getKind ( ) const

inline

Definition at line 57 of file SymExpr.h.

Referenced by clang::ento::SymbolRegionValue::classof(), clang::ento::SymbolConjured::classof(), clang::ento::SymbolDerived::classof(), clang::ento::SymbolExtent::classof(), clang::ento::SymbolMetadata::classof(), clang::ento::SymbolCast::classof(), clang::ento::UnarySymExpr::classof(), clang::ento::BinarySymExpr::classof(), clang::ento::BinarySymExprImpl< LHSTYPE, RHSTYPE, ClassKind >::classof(), clang::ento::SymbolData::classof(), and clang::ento::SymbolReaper::isLive().

◆ getOriginRegion()

virtual const MemRegion * clang::ento::SymExpr::getOriginRegion ( ) const

inlinevirtual

Find the region from which this symbol originates.

Whenever the symbol was constructed to denote an unknown value of a certain memory region, return this region. This method allows checkers to make decisions depending on the origin of the symbol. Symbol classes for which the origin region is known include SymbolRegionValue which denotes the value of the region before the beginning of the analysis, and SymbolDerived which denotes the value of a certain memory region after its super region (a memory space or a larger record region) is default-bound with a certain symbol. It might return null.

Reimplemented in clang::ento::SymbolRegionValue, and clang::ento::SymbolDerived.

Definition at line 104 of file SymExpr.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), getOriginParam(), and unwrapRValueReferenceIndirection().