ROSE  0.11.51.0
Public Attributes | List of all members
Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref Struct Reference

Description

Definition at line 108 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 109 of file FeasiblePath.h.

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

Check for addrs that may or must be null.

Definition at line 110 of file FeasiblePath.h.

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

If true, check only constants or sets of constants.

Definition at line 111 of file FeasiblePath.h.


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