#include <SVals.h>

Inheritance diagram for clang::ento::SVal:

Collaboration diagram for clang::ento::SVal:

Public Types
enum	BaseKind { UndefinedKind = 0, UnknownKind = 1, LocKind = 2, NonLocKind = 3 }
enum	{ BaseBits = 2, BaseMask = 0x3 }
typedef SmallVector< SVal, 5 >	BufferTy
	BufferTy - A temporary buffer to hold a set of SVals.
Public Member Functions
	SVal ()
template<typename T >
T	castAs () const
	Convert to the specified SVal type, asserting that this SVal is of the desired type.
template<typename T >
Optional< T >	getAs () const
	Convert to the specified SVal type, returning None if this SVal is not of the desired type.
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;
const FunctionDecl *	getAsFunctionDecl () const
SymbolRef	getAsLocSymbol (bool IncludeBaseRegions=false) const
	If this SVal is a location and wraps a symbol, return that SymbolRef. Otherwise return 0.
SymbolRef	getLocSymbolInBase () const
	Get the symbol in the SVal or its base region.
SymbolRef	getAsSymbol (bool IncludeBaseRegions=false) const
	If this SVal wraps a symbol return that SymbolRef. Otherwise, return 0.
const SymExpr *	getAsSymbolicExpression () const
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
unsigned	Kind

Detailed Description

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

Definition at line 44 of file SVals.h.

Member Typedef Documentation

typedef SmallVector<SVal,5> clang::ento::SVal::BufferTy

BufferTy - A temporary buffer to hold a set of SVals.

Definition at line 96 of file SVals.h.

Member Enumeration Documentation

anonymous enum

Enumerator:

BaseBits
BaseMask

Definition at line 54 of file SVals.h.

enum clang::ento::SVal::BaseKind

Enumerator:

UndefinedKind
UnknownKind
LocKind
NonLocKind

Definition at line 46 of file SVals.h.

Constructor & Destructor Documentation

clang::ento::SVal::SVal	(	const void *	d,
		bool	isLoc,
		unsigned	ValKind
	)		`[inline, explicit, protected]`

Definition at line 63 of file SVals.h.

clang::ento::SVal::SVal	(	BaseKind	k,
		const void *	D = `nullptr`
	)		`[inline, explicit, protected]`

Definition at line 66 of file SVals.h.

clang::ento::SVal::SVal ( ) [inline, explicit]

Definition at line 70 of file SVals.h.

Member Function Documentation

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 75 of file SVals.h.

void SVal::dump ( ) const

Definition at line 239 of file SVals.cpp.

void SVal::dumpToStream ( raw_ostream & OS ) const

Reimplemented in clang::ento::Loc, and clang::ento::NonLoc.

Definition at line 241 of file SVals.cpp.

Referenced by llvm::operator<<().

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 86 of file SVals.h.

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 51 of file SVals.cpp.

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

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

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

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

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.

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 69 of file SVals.cpp.

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

Referenced by getAsSymbol(), clang::ento::StackHintGeneratorForSymbol::getMessage(), clang::ento::StoreManager::FindUniqueBinding::HandleBinding(), and clang::ento::bugreporter::trackNullOrUndefValue().

const MemRegion * SVal::getAsRegion ( ) const

Definition at line 135 of file SVals.cpp.

References X.

Referenced by clang::ento::ProgramState::addTaint(), clang::ento::ProgramState::bindLoc(), clang::ento::SValBuilder::evalCast(), clang::ento::StoreManager::evalDynamicCast(), clang::ento::ExprEngine::evalLoad(), clang::CallEventManager::getCaller(), getRegionForConstructedObject(), clang::ento::CallEvent::invalidateRegions(), clang::ento::BugReport::isInteresting(), clang::ento::ProgramState::isTainted(), isTemporaryPRValue(), clang::ento::BugReport::markInteresting(), mayInlineCallKind(), clang::ento::ConditionBRVisitor::patternMatch(), clang::ento::ExprEngine::ProcessDeleteDtor(), clang::ento::ExprEngine::ProcessInitializer(), regionMatchesCXXRecordType(), clang::ento::bugreporter::trackNullOrUndefValue(), clang::ento::ExprEngine::VisitBlockExpr(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitCXXDestructor(), and clang::ento::FindLastStoreBRVisitor::VisitNode().