ROSE  0.9.9.168
Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::FeasiblePath::Settings Struct Reference

Description

Settings that control this analysis.

Definition at line 24 of file BinaryFeasiblePath.h.

#include <BinaryFeasiblePath.h>

Collaboration diagram for Rose::BinaryAnalysis::FeasiblePath::Settings:
Collaboration graph
[legend]

Public Member Functions

 Settings ()
 Default settings. More...
 

Public Attributes

SearchMode searchMode
 Method to use when searching for feasible paths. More...
 
Sawyer::Optional< rose_addr_t > initialStackPtr
 Concrete value to use for stack pointer register initial value. More...
 
size_t vertexVisitLimit
 Max times to visit a particular vertex in one path. More...
 
size_t maxPathLength
 Limit path length in terms of number of instructions. More...
 
size_t maxCallDepth
 Max length of path in terms of function calls. More...
 
size_t maxRecursionDepth
 Max path length in terms of recursive function calls. More...
 
std::vector< SymbolicExpr::PtrpostConditions
 Additional constraints to be satisifed at the end of a path. More...
 
std::vector< rose_addr_t > summarizeFunctions
 Functions to always summarize. More...
 
bool nonAddressIsFeasible
 Indeterminate/undiscovered vertices are feasible?
 

Constructor & Destructor Documentation

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

Default settings.

Definition at line 36 of file BinaryFeasiblePath.h.

Member Data Documentation

SearchMode Rose::BinaryAnalysis::FeasiblePath::Settings::searchMode

Method to use when searching for feasible paths.

Definition at line 25 of file BinaryFeasiblePath.h.

Sawyer::Optional<rose_addr_t> Rose::BinaryAnalysis::FeasiblePath::Settings::initialStackPtr

Concrete value to use for stack pointer register initial value.

Definition at line 26 of file BinaryFeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Settings::vertexVisitLimit

Max times to visit a particular vertex in one path.

Definition at line 27 of file BinaryFeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Settings::maxPathLength

Limit path length in terms of number of instructions.

Definition at line 28 of file BinaryFeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Settings::maxCallDepth

Max length of path in terms of function calls.

Definition at line 29 of file BinaryFeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Settings::maxRecursionDepth

Max path length in terms of recursive function calls.

Definition at line 30 of file BinaryFeasiblePath.h.

std::vector<SymbolicExpr::Ptr> Rose::BinaryAnalysis::FeasiblePath::Settings::postConditions

Additional constraints to be satisifed at the end of a path.

Definition at line 31 of file BinaryFeasiblePath.h.

std::vector<rose_addr_t> Rose::BinaryAnalysis::FeasiblePath::Settings::summarizeFunctions

Functions to always summarize.

Definition at line 32 of file BinaryFeasiblePath.h.


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