SVal - This represents a symbolic expression, which can be either an L-value or an R-value. More...

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

Inheritance diagram for clang::ento::SVal:

[legend]

Collaboration diagram for clang::ento::SVal:

Public Types
enum	BaseKind

enum	{ BaseBits = 2, BaseMask = 0x3 }

Public Member Functions
	SVal ()=default

template<typename T >
T	castAs () const
	Convert to the specified SVal type, asserting that this SVal is of the desired type. More...

template<typename T >
Optional< T >	getAs () const
	Convert to the specified SVal type, returning None if this SVal is not of the desired type. More...

unsigned	getRawKind () const

BaseKind	getBaseKind () const

unsigned	getSubKind () const

void	Profile (llvm::FoldingSetNodeID &ID) const

bool	operator== (const SVal &R) const

bool	operator!= (const SVal &R) const

bool	isUnknown () const

bool	isUndef () const

bool	isUnknownOrUndef () const

bool	isValid () const

bool	isConstant () const

bool	isConstant (int I) const

bool	isZeroConstant () const

bool	hasConjuredSymbol () const
	hasConjuredSymbol - If this SVal wraps a conjured symbol, return true; More...

const FunctionDecl *	getAsFunctionDecl () const
	getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a CodeTextRegion wrapping a FunctionDecl, return that FunctionDecl. More...

SymbolRef	getAsLocSymbol (bool IncludeBaseRegions=false) const
	If this SVal is a location and wraps a symbol, return that SymbolRef. More...

SymbolRef	getLocSymbolInBase () const
	Get the symbol in the SVal or its base region. More...

SymbolRef	getAsSymbol (bool IncludeBaseRegions=false) const
	If this SVal wraps a symbol return that SymbolRef. More...

const SymExpr *	getAsSymbolicExpression () const
	getAsSymbolicExpression - If this Sval wraps a symbolic expression then return that expression. More...

const SymExpr *	getAsSymExpr () const

const MemRegion *	getAsRegion () const

void	dumpToStream (raw_ostream &OS) const

void	dump () const

SymExpr::symbol_iterator	symbol_begin () const

SymExpr::symbol_iterator	symbol_end () const

Protected Member Functions
	SVal (const void *d, bool isLoc, unsigned ValKind)

	SVal (BaseKind k, const void *D=nullptr)

Protected Attributes
const void *	Data = nullptr

unsigned	Kind = 0
	The lowest 2 bits are a BaseKind (0 – 3). More...

Detailed Description

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

Definition at line 76 of file SVals.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator
BaseBits
BaseMask

Definition at line 84 of file SVals.h.

◆ BaseKind

enum clang::ento::SVal::BaseKind

Definition at line 78 of file SVals.h.

Constructor & Destructor Documentation

◆ SVal() [1/3]

clang::ento::SVal::SVal	(	const void *	d,
		bool	isLoc,
		unsigned	ValKind
	)

inlineexplicitprotected

Definition at line 93 of file SVals.h.

◆ SVal() [2/3]

clang::ento::SVal::SVal	(	BaseKind	k,
		const void *	D = `nullptr`
	)

inlineexplicitprotected

Definition at line 96 of file SVals.h.

◆ SVal() [3/3]

clang::ento::SVal::SVal ( )

explicitdefault

Member Function Documentation

◆ castAs()

template<typename T >

T clang::ento::SVal::castAs ( ) const

inline

Convert to the specified SVal type, asserting that this SVal is of the desired type.

Definition at line 104 of file SVals.h.

◆ dump()

LLVM_DUMP_METHOD void SVal::dump ( ) const

Definition at line 281 of file SVals.cpp.

References dumpToStream().

◆ dumpToStream()

void SVal::dumpToStream ( raw_ostream & OS ) const

Definition at line 283 of file SVals.cpp.

References getBaseKind().

Referenced by dump(), and clang::ento::operator<<().

◆ getAs()

template<typename T >

Optional<T> clang::ento::SVal::getAs ( ) const

inline

Convert to the specified SVal type, returning None if this SVal is not of the desired type.

Definition at line 112 of file SVals.h.

◆ getAsFunctionDecl()

const FunctionDecl * SVal::getAsFunctionDecl ( ) const

getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a CodeTextRegion wrapping a FunctionDecl, return that FunctionDecl.

Otherwise return 0.

Definition at line 63 of file SVals.cpp.

References clang::ento::MemRegion::getAs(), and X.

Referenced by clang::ento::CheckerContext::getCalleeDecl(), and clang::ento::SimpleFunctionCall::getDecl().

◆ getAsLocSymbol()

SymbolRef SVal::getAsLocSymbol ( bool IncludeBaseRegions = false ) const

If this SVal is a location and wraps a symbol, return that SymbolRef.

If this SVal is a location (subclasses Loc) and wraps a symbol, return that SymbolRef.

Otherwise return 0.

Casts are ignored during lookup.

Parameters

IncludeBaseRegions The boolean that controls whether the search should continue to the base regions if the region is not symbolic.

Otherwise return 0.

Implicit casts (ex: void* -> char*) can turn Symbolic region into Element region. If that is the case, gets the underlining region. When IncludeBaseRegions is set to true and the SubRegion is non-symbolic, the first symbolic parent region is returned.

Definition at line 85 of file SVals.cpp.

References clang::ento::MemRegion::getSymbolicBase(), clang::ento::MemRegion::StripCasts(), and X.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostCall(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), clang::ento::retaincountchecker::RetainCountChecker::evalCall(), getAsSymbol(), clang::ento::StoreManager::FindUniqueBinding::HandleBinding(), clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined(), and updateOutParameter().

◆ getAsRegion()

const MemRegion * SVal::getAsRegion ( ) const

Definition at line 151 of file SVals.cpp.

References X.

Referenced by clang::ento::ProgramState::addPartialTaint(), clang::ento::StoreManager::attemptDownCast(), clang::ento::StoreManager::CastRetrievedVal(), clang::ento::retaincountchecker::RetainCountChecker::checkBind(), clang::ento::mpi::MPIChecker::checkMissingWaits(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), dereference(), clang::ento::retaincountchecker::RetainCountChecker::evalCall(), clang::ento::SValBuilder::evalCast(), clang::BlockCall::getBlockRegion(), clang::ento::CallEvent::invalidateRegions(), clang::ento::BugReport::isInteresting(), clang::ento::BugReport::markInteresting(), clang::ento::ExprEngine::ProcessAutomaticObjDtor(), clang::ento::ExprEngine::ProcessDeleteDtor(), clang::ento::ExprEngine::ProcessInitializer(), clang::ento::ExprEngine::ProcessTemporaryDtor(), clang::ento::ProgramStateManager::removeDeadBindings(), updateOutParameter(), clang::ento::ExprEngine::VisitBlockExpr(), clang::ento::ExprEngine::VisitCXXConstructExpr(), and clang::ento::ExprEngine::VisitCXXNewExpr().

◆ getAsSymbol()

SymbolRef SVal::getAsSymbol ( bool IncludeBaseRegions = false ) const

If this SVal wraps a symbol return that SymbolRef.

Otherwise, return 0.

Casts are ignored during lookup.

Parameters

IncludeBaseRegions The boolean that controls whether the search should continue to the base regions if the region is not symbolic.

Definition at line 127 of file SVals.cpp.

References getAsLocSymbol(), and X.

Referenced by clang::ento::SimpleConstraintManager::assumeInclusiveRange(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), clang::ento::SValBuilder::evalCast(), GetAllocationSite(), getAsSymbolicExpression(), getAsSymExpr(), clang::ento::ProgramState::getSValAsScalarOrLoc(), clang::ento::BugReport::isInteresting(), clang::ento::ProgramState::isNull(), clang::ento::BugReport::markInteresting(), clang::ento::retaincountchecker::RetainCountChecker::processObjCLiterals(), clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined(), and clang::ento::ScanReachableSymbols::scan().

◆ getAsSymbolicExpression()

const SymExpr * SVal::getAsSymbolicExpression ( ) const

getAsSymbolicExpression - If this Sval wraps a symbolic expression then return that expression.

Otherwise return NULL.

Definition at line 137 of file SVals.cpp.

References getAsSymbol(), and X.

Referenced by clang::ento::SValBuilder::evalIntegralCast(), getAsSymExpr(), and clang::ento::ScanReachableSymbols::scan().

◆ getAsSymExpr()

const SymExpr * SVal::getAsSymExpr ( ) const

Definition at line 144 of file SVals.cpp.

References getAsSymbol(), and getAsSymbolicExpression().

Referenced by clang::ento::ProgramState::addPartialTaint(), clang::ento::SimpleConstraintManager::assume(), clang::ento::SimpleConstraintManager::assumeInclusiveRange(), and clang::ento::SValBuilder::makeSymExprValNN().

◆ getBaseKind()

BaseKind clang::ento::SVal::getBaseKind ( ) const

inline

Definition at line 119 of file SVals.h.

Referenced by dumpToStream(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

◆ getLocSymbolInBase()

SymbolRef SVal::getLocSymbolInBase ( ) const

Get the symbol in the SVal or its base region.

Definition at line 101 of file SVals.cpp.

References X.

◆ getRawKind()

unsigned clang::ento::SVal::getRawKind ( ) const

inline

Definition at line 118 of file SVals.h.

Referenced by operator==().

◆ getSubKind()

unsigned clang::ento::SVal::getSubKind ( ) const

inline

Definition at line 120 of file SVals.h.

Referenced by clang::ento::SimpleConstraintManager::assume(), clang::ento::SimpleConstraintManager::assumeInclusiveRange(), clang::ento::StoreManager::CastRetrievedVal(), clang::ento::NonLoc::dumpToStream(), clang::ento::Loc::dumpToStream(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().

◆ hasConjuredSymbol()

bool SVal::hasConjuredSymbol ( ) const

hasConjuredSymbol - If this SVal wraps a conjured symbol, return true;

Definition at line 44 of file SVals.cpp.

◆ isConstant() [1/2]

bool SVal::isConstant ( ) const

Definition at line 218 of file SVals.cpp.

Referenced by clang::ento::SValBuilder::evalCast(), clang::ento::ProgramState::isNull(), and isZeroConstant().

◆ isConstant() [2/2]

bool SVal::isConstant ( int I ) const

Definition at line 222 of file SVals.cpp.

◆ isUndef()

bool clang::ento::SVal::isUndef ( ) const

inline

Definition at line 141 of file SVals.h.

Referenced by clang::ento::SValBuilder::evalBinOp(), clang::ento::ExprEngine::evalLoad(), clang::ento::ExprEngine::evalStore(), clang::ento::ExprEngine::processSwitch(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ isUnknown()

bool clang::ento::SVal::isUnknown ( ) const

inline

Definition at line 137 of file SVals.h.

Referenced by clang::ento::ProgramState::assume(), clang::ento::ProgramState::assumeInBound(), clang::ento::ProgramState::assumeInclusiveRange(), clang::ento::EnvironmentManager::bindExpr(), clang::ento::SValBuilder::evalBinOp(), clang::ento::retaincountchecker::RetainCountChecker::evalCall(), clang::ento::ExprEngine::handleLValueBitCast(), clang::ento::ExprEngine::processBranch(), clang::ento::ExprEngine::VisitBinaryOperator(), and clang::ento::ExprEngine::VisitCXXNewExpr().

◆ isUnknownOrUndef()

bool clang::ento::SVal::isUnknownOrUndef ( ) const

inline

Definition at line 145 of file SVals.h.

Referenced by clang::ento::ProgramState::assumeInBound(), clang::ento::StoreManager::CastRetrievedVal(), clang::ento::SValBuilder::convertToArrayIndex(), clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::SValBuilder::evalCast(), clang::ento::StoreManager::getLValueElement(), clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::ProcessInitializer().

◆ isValid()

bool clang::ento::SVal::isValid ( ) const

inline

Definition at line 149 of file SVals.h.

Referenced by clang::ento::ExprEngine::evalBinOp(), clang::ento::ExprEngine::evalComplement(), and clang::ento::ExprEngine::evalMinus().

◆ isZeroConstant()

bool SVal::isZeroConstant ( ) const

Definition at line 230 of file SVals.cpp.

References isConstant().

Referenced by clang::ento::SValBuilder::evalCast(), clang::ento::FieldRegion::getExtent(), and clang::ento::ProgramState::isNull().

◆ operator!=()

bool clang::ento::SVal::operator!= ( const SVal & R ) const

inline

Definition at line 133 of file SVals.h.

◆ operator==()

bool clang::ento::SVal::operator== ( const SVal & R ) const

inline

Definition at line 129 of file SVals.h.

References Data, and getRawKind().

◆ Profile()

void clang::ento::SVal::Profile ( llvm::FoldingSetNodeID & ID ) const

inline

Definition at line 124 of file SVals.h.

Referenced by clang::ento::BasicValueFactory::getPersistentSValPair(), clang::ento::BasicValueFactory::getPersistentSValWithData(), and clang::ento::SymbolicRegion::Profile().

◆ symbol_begin()

SymExpr::symbol_iterator clang::ento::SVal::symbol_begin ( ) const

inline

Definition at line 197 of file SVals.h.

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

◆ symbol_end()

SymExpr::symbol_iterator clang::ento::SVal::symbol_end ( ) const

inline

Definition at line 205 of file SVals.h.

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

Member Data Documentation

◆ Data

const void* clang::ento::SVal::Data = nullptr

protected

Definition at line 87 of file SVals.h.

Referenced by clang::ento::nonloc::LazyCompoundVal::getRegion(), clang::ento::nonloc::LazyCompoundVal::getStore(), and operator==().

◆ Kind

unsigned clang::ento::SVal::Kind = 0

protected

The lowest 2 bits are a BaseKind (0 – 3).

The higher bits are an unsigned "kind" value.

Definition at line 91 of file SVals.h.

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

include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
lib/StaticAnalyzer/Core/SVals.cpp

Public Types

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

◆ BaseKind

Constructor & Destructor Documentation

◆ SVal() [1/3]

◆ SVal() [2/3]

◆ SVal() [3/3]

Member Function Documentation

◆ castAs()

◆ dump()

◆ dumpToStream()

◆ getAs()

◆ getAsFunctionDecl()

◆ getAsLocSymbol()

◆ getAsRegion()

◆ getAsSymbol()

◆ getAsSymbolicExpression()

◆ getAsSymExpr()

◆ getBaseKind()

◆ getLocSymbolInBase()

◆ getRawKind()

◆ getSubKind()

◆ hasConjuredSymbol()

◆ isConstant() [1/2]

◆ isConstant() [2/2]

◆ isUndef()

◆ isUnknown()

◆ isUnknownOrUndef()

◆ isValid()

◆ isZeroConstant()

◆ operator!=()

◆ operator==()

◆ Profile()

◆ symbol_begin()

◆ symbol_end()

Member Data Documentation

◆ Data

◆ Kind