StackAddrEscapeChecker.cpp File Reference (original) (raw)

Functions
static const MemSpaceRegion *	getStackOrGlobalSpaceRegion (const MemRegion *R)

static const MemRegion *	getOriginBaseRegion (const MemRegion *Reg)

static std::optional< std::string >	printReferrer (const MemRegion *Referrer)

static bool	isInvalidatedSymbolRegion (const MemRegion *Region)
	Check whether Region refers to a freshly minted symbol after an opaque function call.

◆ REGISTER_CHECKER

| #define REGISTER_CHECKER | ( | | name | ) | | ------------------------- | - | | ---- | - |

Value:

StackAddrEscapeChecker *Chk = Mgr.getChecker(); \

Chk->ChecksEnabled[StackAddrEscapeChecker::CK_##name] = true; \

Chk->CheckNames[StackAddrEscapeChecker::CK_##name] = \

} \

bool ento::shouldRegister##name(const CheckerManager &mgr) { return true; }

CheckerNameRef getCurrentCheckerName() const

static bool isInvalidatedSymbolRegion ( const MemRegion * Region)	static

static std::optional< std::string > printReferrer ( const MemRegion * Referrer)	static