Description
Settings controlling the analysis.
The members of type ReasonFlags enable a particular feature as well as specify which Reason values to use for that feature. If the member is an empty set of reasons, then the feature is disabed.
Definition at line 71 of file Reachability.h.
#include <Rose/BinaryAnalysis/Reachability.h>
Public Attributes | |
| ReasonFlags | markingEntryFunctions |
| If not empty, run markEntryFunctions at startup. | |
| ReasonFlags | markingExportFunctions |
| If not empty, run markExportFunctions at startup. | |
| ReasonFlags | markingExplicitMemoryReferents |
| If not empty, run markExplicitMemoryReferents at startup. | |
| ReasonFlags | markingExplicitInstructionReferents |
| If not empty, run markExplicitInstructionReferents during iteration. | |
| ReasonFlags | markingImplicitFunctionReferents |
| If not empty, run markImplicitFunctionReferents during iteration. | |
| rose_addr_t | addressAlignment |
| Alignment when reading constants from virtual memory. | |
| size_t | addressNBytes |
| Size of addresses when reading constants from virtual memory. | |
| ByteOrder::Endianness | byteOrder |
| Byte order to use when reading constants from virtual memory. | |
| bool | precomputeImplicitFunctionReferents |
| Implicit function referents are precomputed in parallel. | |
| Sawyer::Optional< size_t > | nThreads |
| Parallelism; 0 means system; unset means use global value. | |
Constructor & Destructor Documentation
◆ Settings()
|
inline |
Definition at line 86 of file Reachability.h.
Member Data Documentation
◆ markingEntryFunctions
| ReasonFlags Rose::BinaryAnalysis::Reachability::Settings::markingEntryFunctions |
If not empty, run markEntryFunctions at startup.
Definition at line 72 of file Reachability.h.
◆ markingExportFunctions
| ReasonFlags Rose::BinaryAnalysis::Reachability::Settings::markingExportFunctions |
If not empty, run markExportFunctions at startup.
Definition at line 73 of file Reachability.h.
◆ markingExplicitMemoryReferents
| ReasonFlags Rose::BinaryAnalysis::Reachability::Settings::markingExplicitMemoryReferents |
If not empty, run markExplicitMemoryReferents at startup.
Definition at line 74 of file Reachability.h.
◆ markingExplicitInstructionReferents
| ReasonFlags Rose::BinaryAnalysis::Reachability::Settings::markingExplicitInstructionReferents |
If not empty, run markExplicitInstructionReferents during iteration.
Definition at line 75 of file Reachability.h.
◆ markingImplicitFunctionReferents
| ReasonFlags Rose::BinaryAnalysis::Reachability::Settings::markingImplicitFunctionReferents |
If not empty, run markImplicitFunctionReferents during iteration.
Definition at line 76 of file Reachability.h.
◆ addressAlignment
| rose_addr_t Rose::BinaryAnalysis::Reachability::Settings::addressAlignment |
Alignment when reading constants from virtual memory.
Definition at line 78 of file Reachability.h.
◆ addressNBytes
| size_t Rose::BinaryAnalysis::Reachability::Settings::addressNBytes |
Size of addresses when reading constants from virtual memory.
Definition at line 79 of file Reachability.h.
◆ byteOrder
| ByteOrder::Endianness Rose::BinaryAnalysis::Reachability::Settings::byteOrder |
Byte order to use when reading constants from virtual memory.
Definition at line 80 of file Reachability.h.
◆ precomputeImplicitFunctionReferents
| bool Rose::BinaryAnalysis::Reachability::Settings::precomputeImplicitFunctionReferents |
Implicit function referents are precomputed in parallel.
Definition at line 82 of file Reachability.h.
◆ nThreads
| Sawyer::Optional<size_t> Rose::BinaryAnalysis::Reachability::Settings::nThreads |
Parallelism; 0 means system; unset means use global value.
Definition at line 83 of file Reachability.h.
The documentation for this struct was generated from the following file:
