clang::ento::lifetime_modeling Namespace Reference

Functions
std::vector< const MemRegion * >	getDanglingRegionsAfterReturn (SVal Source, ProgramStateRef State, CheckerContext &C)
	Returns the set of lifetime sources bound to Source that are dangling stack regions.
bool	isDeallocated (ProgramStateRef State, const MemRegion *Region)
	Returns true if the underlying MemRegion is deallocated.
std::string	getRegionName (const MemRegion *Reg)
	Returns the descriptive name of the memory region or a placeholder if a descriptive name cannot be constructed for it.

Function Documentation

getDanglingRegionsAfterReturn()

std::vector< const MemRegion * > clang::ento::lifetime_modeling::getDanglingRegionsAfterReturn	(	SVal	Source,
		ProgramStateRef	State,
		CheckerContext &	C )

Returns the set of lifetime sources bound to Source that are dangling stack regions.

Definition at line 62 of file LifetimeModeling.cpp.

References clang::C, and isDanglingStackSource().

getRegionName()

std::string clang::ento::lifetime_modeling::getRegionName

(

const MemRegion *

Reg

)

Returns the descriptive name of the memory region or a placeholder if a descriptive name cannot be constructed for it.

Definition at line 90 of file LifetimeModeling.cpp.

References clang::ento::MemRegion::getDescriptiveName().

isDeallocated()

bool clang::ento::lifetime_modeling::isDeallocated	(	ProgramStateRef	State,
		const MemRegion *	Region )

Returns true if the underlying MemRegion is deallocated.

Definition at line 74 of file LifetimeModeling.cpp.

References clang::ento::MemRegion::getBaseRegion().