|
ROSE 0.11.145.354
|
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. | |
| Address | 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.
| Address Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::minValid |
Minnimum address that is not treated as a null dereference.
Definition at line 113 of file FeasiblePath.h.