MemRegion - The root abstract class for all memory regions. More...

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

Inheritance diagram for clang::ento::MemRegion:

[legend]

Public Types
enum	Kind

Public Member Functions
ASTContext &	getContext () const

virtual void	Profile (llvm::FoldingSetNodeID &ID) const =0

virtual MemRegionManager &	getMemRegionManager () const =0

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemSpaceRegion *	getMemorySpace () const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *	getBaseRegion () const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *	getMostDerivedObjectRegion () const
	Recursively retrieve the region of the most derived class instance of regions of C++ base class instances.

virtual bool	isSubRegionOf (const MemRegion *R) const
	Check if the region is a subregion of the given region.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion *	StripCasts (bool StripBaseAndDerivedCasts=true) const

const SymbolicRegion *	getSymbolicBase () const
	If this is a symbolic region, returns the region.

bool	hasStackStorage () const

bool	hasStackNonParametersStorage () const

bool	hasStackParametersStorage () const

RegionOffset	getAsOffset () const
	Compute the offset within the top level memory object.

std::string	getString () const
	Get a string representation of a region for debug use.

virtual void	dumpToStream (raw_ostream &os) const

void	dump () const

virtual bool	canPrintPretty () const
	Returns true if this region can be printed in a user-friendly way.

virtual void	printPretty (raw_ostream &os) const
	Print the region for use in diagnostics.

virtual bool	canPrintPrettyAsExpr () const
	Returns true if this region's textual representation can be used as part of a larger expression.

virtual void	printPrettyAsExpr (raw_ostream &os) const
	Print the region as expression.

Kind	getKind () const

StringRef	getKindStr () const

template<typename RegionTy >
const RegionTy *	getAs () const

template<typename RegionTy >
LLVM_ATTRIBUTE_RETURNS_NONNULL const RegionTy *	castAs () const

virtual bool	isBoundable () const

std::string	getDescriptiveName (bool UseQuotes=true) const
	Get descriptive name for memory region.

SourceRange	sourceRange () const
	Retrieve source range from memory region.

Protected Member Functions
	MemRegion (Kind k)

virtual	~MemRegion ()

Detailed Description

MemRegion - The root abstract class for all memory regions.

Definition at line 97 of file MemRegion.h.

Member Enumeration Documentation

◆ Kind

enum clang::ento::MemRegion::Kind

Definition at line 99 of file MemRegion.h.

Constructor & Destructor Documentation

◆ MemRegion()

clang::ento::MemRegion::MemRegion ( Kind k )

inlineprotected

Definition at line 112 of file MemRegion.h.

◆ ~MemRegion()

MemRegion::~MemRegion ( )

protectedvirtualdefault

Member Function Documentation

◆ canPrintPretty()

bool MemRegion::canPrintPretty ( ) const

virtual

Returns true if this region can be printed in a user-friendly way.

Reimplemented in clang::ento::FieldRegion.

Definition at line 625 of file MemRegion.cpp.

References canPrintPrettyAsExpr().

Referenced by checkAndPrettyPrintRegion(), printPretty(), showBRDefaultDiagnostics(), showBRDiagnostics(), and showBRParamDiagnostics().

◆ canPrintPrettyAsExpr()

bool MemRegion::canPrintPrettyAsExpr ( ) const

virtual

Returns true if this region's textual representation can be used as part of a larger expression.

Reimplemented in clang::ento::NonParamVarRegion, clang::ento::ParamVarRegion, clang::ento::FieldRegion, clang::ento::ObjCIvarRegion, clang::ento::CXXBaseObjectRegion, and clang::ento::CXXDerivedObjectRegion.

Definition at line 629 of file MemRegion.cpp.

Referenced by canPrintPretty(), clang::ento::FieldRegion::canPrintPrettyAsExpr(), clang::ento::CXXBaseObjectRegion::canPrintPrettyAsExpr(), clang::ento::CXXDerivedObjectRegion::canPrintPrettyAsExpr(), and getDescriptiveName().

◆ castAs()

template<typename RegionTy >

LLVM_ATTRIBUTE_RETURNS_NONNULL const RegionTy * clang::ento::MemRegion::castAs

Definition at line 1396 of file MemRegion.h.

◆ dump()

LLVM_DUMP_METHOD void MemRegion::dump ( ) const

Definition at line 465 of file MemRegion.cpp.

References dumpToStream().

◆ dumpToStream()

void MemRegion::dumpToStream ( raw_ostream & os ) const

virtual

Definition at line 476 of file MemRegion.cpp.

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

◆ getAs()

template<typename RegionTy >

const RegionTy * clang::ento::MemRegion::getAs

Definition at line 1388 of file MemRegion.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkRegionChanges(), computeOffset(), dereference(), clang::ento::SVal::getAsFunctionDecl(), getConstructedRegion(), getDescriptiveName(), getExceedsMsgs(), getRegionName(), and parameterTypeFromSVal().

◆ getAsOffset()

RegionOffset MemRegion::getAsOffset ( ) const

Compute the offset within the top level memory object.

Definition at line 1662 of file MemRegion.cpp.

References calculateOffset().

◆ getBaseRegion()

const MemRegion * MemRegion::getBaseRegion ( ) const

Definition at line 1354 of file MemRegion.cpp.

References getKind().

Referenced by clang::ento::taint::addPartialTaint(), getExistingLazyBinding(), clang::ento::CXXInstanceCall::getExtraInvalidatedValues(), clang::ento::PathSensitiveBugReport::getInterestingnessKind(), clang::ento::SymbolReaper::isLiveRegion(), clang::ento::PathSensitiveBugReport::markInteresting(), clang::ento::SymbolReaper::markLazilyCopied(), clang::ento::SymbolReaper::markLive(), clang::ento::PathSensitiveBugReport::markNotInteresting(), clang::ento::ExprEngine::ProcessAutomaticObjDtor(), clang::ento::ExprEngine::processPointerEscapedOnBind(), clang::ento::ScanReachableSymbols::scan(), and sourceRange().

◆ getContext()

ASTContext & clang::ento::MemRegion::getContext ( ) const

inline

Definition at line 1620 of file MemRegion.h.

References clang::ento::MemRegionManager::getContext(), and getMemRegionManager().

Referenced by calculateOffset(), clang::ento::AllocaRegion::dumpToStream(), clang::ento::StringRegion::dumpToStream(), clang::ento::ObjCStringRegion::dumpToStream(), clang::ento::CompoundLiteralRegion::dumpToStream(), clang::ento::CXXTempObjectRegion::dumpToStream(), clang::ento::CXXLifetimeExtendedObjectRegion::dumpToStream(), clang::ento::ElementRegion::getAsArrayOffset(), clang::ento::MemRegionManager::getElementRegionWithSuper(), clang::ento::TypedValueRegion::getLocationType(), and clang::ento::FunctionCodeRegion::getLocationType().

◆ getDescriptiveName()

std::string MemRegion::getDescriptiveName ( bool UseQuotes = true ) const

Get descriptive name for memory region.

The name is obtained from the variable/field declaration retrieved from the memory region. Regions that point to an element of an array are returned as: "arr[0]". Regions that point to a struct are returned as: "st.var".

Parameters

UseQuotes Set if the name should be quoted.

Returns: variable name for memory region

Definition at line 718 of file MemRegion.cpp.

References canPrintPrettyAsExpr(), getAs(), clang::ento::SVal::getAs(), getDescriptiveName(), clang::ento::ElementRegion::getIndex(), clang::ento::SubRegion::getSuperRegion(), and printPrettyAsExpr().

Referenced by getDescriptiveName(), getRegionName(), clang::ento::mpi::MPIBugReporter::reportDoubleNonblocking(), clang::ento::mpi::MPIBugReporter::reportMissingWait(), and clang::ento::mpi::MPIBugReporter::reportUnmatchedWait().

◆ getKind()

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

inline

Definition at line 175 of file MemRegion.h.

◆ getKindStr()

StringRef MemRegion::getKindStr ( ) const

Definition at line 633 of file MemRegion.cpp.

References getKind().

◆ getMemorySpace()

const MemSpaceRegion * MemRegion::getMemorySpace ( ) const

Definition at line 1328 of file MemRegion.cpp.

Referenced by GetAllocationSite(), getRegionName(), clang::ento::VarRegion::getStackFrame(), clang::ento::CXXTempObjectRegion::getStackFrame(), clang::ento::CXXLifetimeExtendedObjectRegion::getStackFrame(), hasStackNonParametersStorage(), hasStackParametersStorage(), hasStackStorage(), isInitializationOfVar(), clang::ento::ExprEngine::processPointerEscapedOnBind(), and clang::ento::SValExplainer::VisitSymbolicRegion().

◆ getMemRegionManager()

virtual MemRegionManager & clang::ento::MemRegion::getMemRegionManager ( ) const

pure virtual

Implemented in clang::ento::MemSpaceRegion, and clang::ento::SubRegion.

Referenced by getContext(), and clang::ento::SubRegion::getMemRegionManager().

◆ getMostDerivedObjectRegion()

const MemRegion * MemRegion::getMostDerivedObjectRegion ( ) const

Recursively retrieve the region of the most derived class instance of regions of C++ base class instances.

Definition at line 1374 of file MemRegion.cpp.

◆ getString()

std::string MemRegion::getString ( ) const

Get a string representation of a region for debug use.

Definition at line 469 of file MemRegion.cpp.

References dumpToStream(), and s.

Referenced by clang::ento::SValExplainer::VisitStringRegion().

◆ getSymbolicBase()

const SymbolicRegion * MemRegion::getSymbolicBase ( ) const

If this is a symbolic region, returns the region.

Otherwise, goes up the base chain looking for the first symbolic base region. It might return null.

Definition at line 1412 of file MemRegion.cpp.

Referenced by clang::ento::SVal::getAsLocSymbol(), and getOriginParam().

◆ hasStackNonParametersStorage()

bool MemRegion::hasStackNonParametersStorage ( ) const

Definition at line 1344 of file MemRegion.cpp.

References getMemorySpace().

◆ hasStackParametersStorage()

bool MemRegion::hasStackParametersStorage ( ) const

Definition at line 1348 of file MemRegion.cpp.

References getMemorySpace().

◆ hasStackStorage()

bool MemRegion::hasStackStorage ( ) const

Definition at line 1340 of file MemRegion.cpp.

References getMemorySpace().

Referenced by shouldEscapeRegion().

◆ isBoundable()

virtual bool clang::ento::MemRegion::isBoundable ( ) const

inlinevirtual

Reimplemented in clang::ento::MemSpaceRegion, clang::ento::AllocaRegion, clang::ento::TypedRegion, clang::ento::CodeTextRegion, clang::ento::SymbolicRegion, clang::ento::StringRegion, clang::ento::ObjCStringRegion, and clang::ento::CompoundLiteralRegion.

Definition at line 183 of file MemRegion.h.

Referenced by clang::ento::StoreManager::castRegion(), clang::ento::ProgramState::getSValAsScalarOrLoc(), and isObjCPointer().

◆ isSubRegionOf()

bool MemRegion::isSubRegionOf ( const MemRegion * R ) const

virtual

Check if the region is a subregion of the given region.

Each region is a subregion of itself.

Reimplemented in clang::ento::SubRegion.

Definition at line 1381 of file MemRegion.cpp.

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

◆ printPretty()

void MemRegion::printPretty ( raw_ostream & os ) const

virtual

Print the region for use in diagnostics.

Reimplemented in clang::ento::FieldRegion.

Definition at line 644 of file MemRegion.cpp.

References canPrintPretty(), and printPrettyAsExpr().

Referenced by checkAndPrettyPrintRegion(), showBRDefaultDiagnostics(), showBRDiagnostics(), and showBRParamDiagnostics().

◆ printPrettyAsExpr()

void MemRegion::printPrettyAsExpr ( raw_ostream & os ) const

virtual

Print the region as expression.

When this region represents a subexpression, the method is for printing an expression containing it.

Reimplemented in clang::ento::NonParamVarRegion, clang::ento::ParamVarRegion, clang::ento::FieldRegion, clang::ento::ObjCIvarRegion, clang::ento::CXXBaseObjectRegion, and clang::ento::CXXDerivedObjectRegion.

Definition at line 651 of file MemRegion.cpp.

Referenced by getDescriptiveName(), printPretty(), clang::ento::FieldRegion::printPrettyAsExpr(), clang::ento::CXXBaseObjectRegion::printPrettyAsExpr(), and clang::ento::CXXDerivedObjectRegion::printPrettyAsExpr().

◆ Profile()

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

pure virtual

◆ sourceRange()

SourceRange MemRegion::sourceRange ( ) const

Retrieve source range from memory region.

The range retrieval is based on the decl obtained from the memory region. For a VarRegion the range of the base region is returned. For a FieldRegion the range of the field is returned. If no declaration is found, an empty source range is returned. The client is responsible for checking if the returned range is valid.

Returns: source range for declaration retrieved from memory region

Definition at line 765 of file MemRegion.cpp.

References getBaseRegion().

Referenced by clang::ento::mpi::MPIBugReporter::reportDoubleNonblocking(), clang::ento::mpi::MPIBugReporter::reportMissingWait(), and clang::ento::mpi::MPIBugReporter::reportUnmatchedWait().

◆ StripCasts()

const MemRegion * MemRegion::StripCasts ( bool StripBaseAndDerivedCasts = true ) const

Definition at line 1389 of file MemRegion.cpp.

References getKind().

Referenced by clang::ento::ExprEngine::bindReturnValue(), clang::ento::StoreManager::castRegion(), clang::ento::retaincountchecker::RetainCountChecker::checkRegionChanges(), clang::ento::StoreManager::evalBaseToDerived(), clang::ento::StoreManager::getLValueElement(), clang::ento::CXXInstanceCall::getRuntimeDefinition(), clang::ento::loc::MemRegionVal::stripCasts(), and clang::ento::UndefOrNullArgVisitor::VisitNode().

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

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

Public Types

Public Member Functions

Protected Member Functions

Detailed Description

Member Enumeration Documentation

◆ Kind

Constructor & Destructor Documentation

◆ MemRegion()

◆ ~MemRegion()

Member Function Documentation

◆ canPrintPretty()

◆ canPrintPrettyAsExpr()

◆ castAs()

◆ dump()

◆ dumpToStream()

◆ getAs()

◆ getAsOffset()

◆ getBaseRegion()

◆ getContext()

◆ getDescriptiveName()

◆ getKind()

◆ getKindStr()

◆ getMemorySpace()

◆ getMemRegionManager()

◆ getMostDerivedObjectRegion()

◆ getString()

◆ getSymbolicBase()

◆ hasStackNonParametersStorage()

◆ hasStackParametersStorage()

◆ hasStackStorage()

◆ isBoundable()

◆ isSubRegionOf()

◆ printPretty()

◆ printPrettyAsExpr()

◆ Profile()

◆ sourceRange()

◆ StripCasts()