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

Description

Definition at line 54 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 55 of file BinaryFeasiblePath.h.

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

Check for addrs that may or must be null.

Definition at line 56 of file BinaryFeasiblePath.h.

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

If true, check only constants or sets of constants.

Definition at line 57 of file BinaryFeasiblePath.h.


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