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

Description

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.
 
rose_addr_t minValid
 Minnimum address that is not treated as a null dereference.
 

Constructor & Destructor Documentation

◆ NullDeref()

Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::NullDeref ( )
inline

Definition at line 115 of file FeasiblePath.h.

Member Data Documentation

◆ check

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

If true, look for null dereferences along the paths.

Definition at line 110 of file FeasiblePath.h.

◆ mode

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

Check for addrs that may or must be null.

Definition at line 111 of file FeasiblePath.h.

◆ constOnly

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

If true, check only constants or sets of constants.

Definition at line 112 of file FeasiblePath.h.

◆ minValid

rose_addr_t Rose::BinaryAnalysis::FeasiblePath::Settings::NullDeref::minValid

Minnimum address that is not treated as a null dereference.

Definition at line 113 of file FeasiblePath.h.


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