Description

Definition at line 109 of file FeasiblePath.h.

Public Attributes
bool	check
	If true, look for null dereferences along the paths. More...

MayOrMust	mode
	Check for addrs that may or must be null. More...

bool	constOnly
	If true, check only constants or sets of constants. More...

rose_addr_t	minValid
	Minnimum address that is not treated as a null dereference.

Member Data Documentation

bool Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::check

If true, look for null dereferences along the paths.

Definition at line 110 of file FeasiblePath.h.

MayOrMust Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::mode

Check for addrs that may or must be null.

Definition at line 111 of file FeasiblePath.h.

bool Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::constOnly

If true, check only constants or sets of constants.

Definition at line 112 of file FeasiblePath.h.

The documentation for this struct was generated from the following file: