ROSE 0.11.145.147
|
Definition at line 109 of file FeasiblePath.h.
Public Attributes | |
bool | check |
If true, look for null dereferences along the paths. | |
MayOrMust | mode |
Check for addrs that may or must be null. | |
bool | constOnly |
If true, check only constants or sets of constants. | |
rose_addr_t | minValid |
Minnimum address that is not treated as a null dereference. | |
|
inline |
Definition at line 115 of file FeasiblePath.h.
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.
rose_addr_t Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::minValid |
Minnimum address that is not treated as a null dereference.
Definition at line 113 of file FeasiblePath.h.