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

Description

Definition at line 88 of file BinaryFeasiblePath.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...
 

Member Data Documentation

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

If true, look for null dereferences along the paths.

Definition at line 89 of file BinaryFeasiblePath.h.

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

Check for addrs that may or must be null.

Definition at line 90 of file BinaryFeasiblePath.h.

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

If true, check only constants or sets of constants.

Definition at line 91 of file BinaryFeasiblePath.h.


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