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]

Public Types
enum	SValKind : unsigned char

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.

template<typename T >
std::optional< T >	getAs () const
	Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

SValKind	getKind () const

StringRef	getKindStr () const

void	Profile (llvm::FoldingSetNodeID &ID) const

bool	operator== (SVal R) const

bool	operator!= (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

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

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

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.

const llvm::APSInt *	getAsInteger () const
	If this SVal is loc::ConcreteInt or nonloc::ConcreteInt, return a pointer to APSInt which is held in it.

const MemRegion *	getAsRegion () const

void	printJson (raw_ostream &Out, bool AddQuotes) const
	printJson - Pretty-prints in JSON format.

void	dumpToStream (raw_ostream &OS) const

void	dump () const

llvm::iterator_range< SymExpr::symbol_iterator >	symbols () const

QualType	getType (const ASTContext &) const
	Try to get a reasonable type for the given value.

Protected Member Functions
	SVal (SValKind Kind, const void *Data=nullptr)

template<typename T >
const T *	castDataAs () const

Protected Attributes
const void *	Data = nullptr

SValKind	Kind = UndefinedValKind

Detailed Description

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

Definition at line 56 of file SVals.h.

Member Enumeration Documentation

◆ SValKind

enum clang::ento::SVal::SValKind : unsigned char

Definition at line 58 of file SVals.h.

Constructor & Destructor Documentation

◆ SVal() [1/2]

clang::ento::SVal::SVal	(	SValKind	Kind,
		const void *	Data = `nullptr`
	)

inlineexplicitprotected

Definition at line 71 of file SVals.h.

◆ SVal() [2/2]

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

◆ castDataAs()

template<typename T >

const T * clang::ento::SVal::castDataAs ( ) const

inlineprotected

Definition at line 74 of file SVals.h.

References Data, and clang::T.

◆ dump()

LLVM_DUMP_METHOD void SVal::dump ( ) const

Definition at line 283 of file SVals.cpp.

◆ dumpToStream()

void SVal::dumpToStream ( raw_ostream & OS ) const

Definition at line 294 of file SVals.cpp.

References clang::ento::NonLoc::classof(), and clang::ento::Loc::classof().

◆ getAs()

template<typename T >

std::optional< T > clang::ento::SVal::getAs ( ) const

inline

Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

Definition at line 87 of file SVals.h.

Referenced by clang::ento::iterator::advancePosition(), assumeCollectionNonEmpty(), clang::ento::SimpleConstraintManager::assumeInternal(), clang::ento::iterator::assumeNoOverflow(), clang::ento::ProgramState::bindLoc(), checkCollectionNonNil(), checkValueAtLValForInvariantViolation(), collectSubRegionBindings(), compareValueToThreshold(), computeOffset(), clang::ento::SValBuilder::convertToArrayIndex(), clang::ento::CoreEngine::dispatchWorkItem(), clang::ento::SValBuilder::evalBinOp(), clang::ento::retaincountchecker::RetainCountChecker::evalCall(), clang::ento::SValBuilder::evalIntegralCast(), clang::ento::SValBuilder::evalUnaryOp(), clang::ento::ElementRegion::getAsArrayOffset(), getAsPointeeSymbol(), getConcreteValue(), clang::ento::MemRegion::getDescriptiveName(), getFuchsiaHandleSymbols(), clang::ento::ExprEngine::getInitialState(), clang::ento::iterator::getIteratorPosition(), clang::ento::ProgramState::getLValue(), clang::ento::StoreManager::getLValueElement(), clang::ento::StackHintGeneratorForSymbol::getMessage(), getReceiverNullability(), getSimplifiedOffsets(), hasVisibleUpdate(), clang::ento::SValBuilder::makeSymExprValNN(), parameterTypeFromSVal(), populateObjCForDestinationSet(), clang::ento::ExprEngine::processSwitch(), REGISTER_MAP_WITH_PROGRAMSTATE(), clang::ento::ScanReachableSymbols::scan(), clang::ento::iterator::setIteratorPosition(), showBRDefaultDiagnostics(), showBRDiagnostics(), showBRParamDiagnostics(), updateOutParameters(), clang::ento::ExprEngine::VisitCXXNewExpr(), and clang::ento::SValExplainer::VisitElementRegion().

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

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

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

◆ getAsInteger()

const llvm::APSInt * SVal::getAsInteger ( ) const

If this SVal is loc::ConcreteInt or nonloc::ConcreteInt, return a pointer to APSInt which is held in it.

Otherwise, return nullptr.

Definition at line 112 of file SVals.cpp.

Referenced by clang::ento::ExprEngine::ProcessAutomaticObjDtor(), clang::ento::ExprEngine::ProcessDeleteDtor(), and clang::ento::ExprEngine::ProcessMemberDtor().

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

References getAsRegion(), and clang::ento::MemRegion::getSymbolicBase().

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostCall(), getAsSymbol(), clang::ento::StackHintGeneratorForSymbol::getMessage(), clang::ento::StoreManager::FindUniqueBinding::HandleBinding(), and updateOutParameters().

◆ getAsRegion()

const MemRegion * SVal::getAsRegion ( ) const

Definition at line 120 of file SVals.cpp.

References X.

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

References getAsLocSymbol(), and X.

Referenced by addSelfFlag(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), clang::ento::SValBuilder::evalIntegralCast(), GetAllocationSite(), getFuchsiaHandleSymbols(), clang::ento::iterator::getIteratorPosition(), hasFlag(), clang::ento::SValBuilder::makeSymExprValNN(), clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined(), REGISTER_MAP_WITH_PROGRAMSTATE(), clang::ento::ScanReachableSymbols::scan(), setFlag(), clang::ento::iterator::setIteratorPosition(), clang::ento::simplify(), symbols(), and tryRearrange().

◆ getKind()

SValKind clang::ento::SVal::getKind ( ) const

inline

Definition at line 91 of file SVals.h.

References Kind.

Referenced by assertEqualBitWidths(), clang::ento::CoreEngine::dispatchWorkItem(), isUndef(), isUnknown(), and Profile().

◆ getKindStr()

StringRef SVal::getKindStr ( ) const

Definition at line 266 of file SVals.cpp.

References getKind().

◆ getLocSymbolInBase()

SymbolRef SVal::getLocSymbolInBase ( ) const

Get the symbol in the SVal or its base region.

Definition at line 80 of file SVals.cpp.

References X.

◆ getType()

QualType SVal::getType ( const ASTContext & Context ) const

Try to get a reasonable type for the given value.

Returns: The best approximation of the value type or Null. In theory, all symbolic values should be typed, but this function is still a WIP and might have a few blind spots.

Note: This function should not be used when the user has access to the bound expression AST node as well, since AST always has exact types.; Loc values are interpreted as pointer rvalues for the purposes of this method.

Definition at line 181 of file SVals.cpp.

Referenced by clang::ento::iterator::advancePosition(), assertEqualBitWidths(), checkParamsForPreconditionViolation(), checkSelfIvarsForInvariantViolation(), clang::ento::CXXInstanceCall::getCXXThisVal(), and clang::ento::ExprEngine::processCallExit().

◆ isConstant() [1/2]

bool SVal::isConstant ( ) const

Definition at line 246 of file SVals.cpp.

Referenced by clang::ento::ExprEngine::ProcessAutomaticObjDtor(), clang::ento::ExprEngine::ProcessDeleteDtor(), clang::ento::ExprEngine::ProcessMemberDtor(), clang::ento::ExprEngine::VisitCast(), and clang::ento::ExprEngine::VisitCommonDeclRefExpr().

◆ isConstant() [2/2]

bool SVal::isConstant ( int I ) const

Definition at line 250 of file SVals.cpp.

◆ isUndef()

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

inline

Definition at line 107 of file SVals.h.

References getKind().

Referenced by clang::ento::SValBuilder::evalBinOp(), clang::ento::ExprEngine::evalLoad(), clang::ento::ExprEngine::evalStore(), getArgumentValueString(), isUnknownOrUndef(), clang::ento::ExprEngine::processSwitch(), showBRDefaultDiagnostics(), showBRDiagnostics(), showBRParamDiagnostics(), clang::ento::ExprEngine::VisitLogicalExpr(), clang::ento::UndefOrNullArgVisitor::VisitNode(), clang::ento::ExprEngine::VisitObjCMessage(), and wasRegionOfInterestModifiedAt().

◆ isUnknown()

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

inline

Definition at line 105 of file SVals.h.

References getKind().

Referenced by addParameterValuesToBindings(), clang::ento::ProgramState::assume(), assumeCondition(), clang::ento::ProgramState::assumeInBoundDual(), clang::ento::ProgramState::assumeInclusiveRange(), conjureOffsetSymbolOnLocation(), clang::ento::SValBuilder::evalBinOp(), clang::ento::retaincountchecker::RetainCountChecker::evalCall(), clang::ento::CXXInstanceCall::getInitialStackFrameContents(), clang::ento::AnyCXXConstructorCall::getInitialStackFrameContents(), clang::ento::ObjCMethodCall::getInitialStackFrameContents(), clang::ento::ExprEngine::handleLValueBitCast(), isUnknownOrUndef(), clang::ento::ExprEngine::VisitBinaryOperator(), clang::ento::ExprEngine::VisitCast(), clang::ento::ExprEngine::VisitCXXNewExpr(), and clang::ento::ExprEngine::VisitDeclStmt().

◆ isUnknownOrUndef()

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

inline

Definition at line 109 of file SVals.h.

References isUndef(), and isUnknown().

Referenced by clang::ento::ProgramState::assumeInBoundDual(), clang::ento::SValBuilder::convertToArrayIndex(), evalComparison(), clang::ento::CXXInstanceCall::getCXXThisVal(), isValid(), clang::ento::ExprEngine::ProcessInitializer(), and clang::ento::ExprEngine::VisitIncrementDecrementOperator().

◆ isValid()

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

inline

Definition at line 111 of file SVals.h.

References isUnknownOrUndef().

Referenced by clang::ento::ExprEngine::evalLoad(), and clang::ento::ObjCMethodCall::getReceiverSVal().

◆ isZeroConstant()

bool SVal::isZeroConstant ( ) const

Definition at line 258 of file SVals.cpp.

Referenced by clang::ento::ExprEngine::VisitCast(), and clang::ento::UndefOrNullArgVisitor::VisitNode().

◆ operator!=()

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

inline

Definition at line 103 of file SVals.h.

◆ operator==()

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

inline

Definition at line 102 of file SVals.h.

References Data, and Kind.

◆ printJson()

void SVal::printJson	(	raw_ostream &	Out,
		bool	AddQuotes
	)		const

printJson - Pretty-prints in JSON format.

Definition at line 285 of file SVals.cpp.

References clang::JsonFormat().

◆ Profile()

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

inline

Definition at line 97 of file SVals.h.

References Data, getKind(), and ID.

Referenced by clang::ento::BasicValueFactory::getPersistentSValPair().

◆ symbols()

llvm::iterator_range< SymExpr::symbol_iterator > clang::ento::SVal::symbols ( ) const

inline

Definition at line 156 of file SVals.h.

References getAsSymbol().

Referenced by clang::ento::SymbolReaper::markElementIndicesLive().

Member Data Documentation

◆ Data

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

protected

Definition at line 68 of file SVals.h.

Referenced by castDataAs(), clang::ento::nonloc::PointerToMember::getPTMData(), clang::ento::nonloc::SymbolVal::getSymbol(), operator==(), and Profile().

◆ Kind

SValKind clang::ento::SVal::Kind = UndefinedValKind

protected

Definition at line 69 of file SVals.h.

Referenced by getKind(), and operator==().

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

◆ SValKind

Constructor & Destructor Documentation

◆ SVal() [1/2]

◆ SVal() [2/2]

Member Function Documentation

◆ castAs()

◆ castDataAs()

◆ dump()

◆ dumpToStream()

◆ getAs()

◆ getAsFunctionDecl()

◆ getAsInteger()

◆ getAsLocSymbol()

◆ getAsRegion()

◆ getAsSymbol()

◆ getKind()

◆ getKindStr()

◆ getLocSymbolInBase()

◆ getType()

◆ isConstant() [1/2]

◆ isConstant() [2/2]

◆ isUndef()

◆ isUnknown()

◆ isUnknownOrUndef()

◆ isValid()

◆ isZeroConstant()

◆ operator!=()

◆ operator==()

◆ printJson()

◆ Profile()

◆ symbols()

Member Data Documentation

◆ Data

◆ Kind