| 
    ROSE 0.11.145.357
    
   | 
 
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.