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

Description

Statistics from path searching.

Definition at line 130 of file FeasiblePath.h.

#include <FeasiblePath.h>

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

Public Member Functions

Statisticsoperator+= (const Statistics &)
 

Public Attributes

size_t nPathsExplored
 Number of paths explored. More...
 
size_t maxVertexVisitHits
 Number of times settings.maxVertexVisit was hit. More...
 
size_t maxPathLengthHits
 Number of times settings.maxPathLength was hit (effective K). More...
 
size_t maxCallDepthHits
 Number of times settings.maxCallDepth was hit. More...
 
size_t maxRecursionDepthHits
 Number of times settings.maxRecursionDepth was hit. More...
 
Sawyer::Container::Map< rose_addr_t, size_t > reachedBlockVas
 Number of times each basic block was reached. More...
 

Member Data Documentation

size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::nPathsExplored

Number of paths explored.

Definition at line 131 of file FeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxVertexVisitHits

Number of times settings.maxVertexVisit was hit.

Definition at line 132 of file FeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxPathLengthHits

Number of times settings.maxPathLength was hit (effective K).

Definition at line 133 of file FeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxCallDepthHits

Number of times settings.maxCallDepth was hit.

Definition at line 134 of file FeasiblePath.h.

size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxRecursionDepthHits

Number of times settings.maxRecursionDepth was hit.

Definition at line 135 of file FeasiblePath.h.

Sawyer::Container::Map<rose_addr_t, size_t> Rose::BinaryAnalysis::FeasiblePath::Statistics::reachedBlockVas

Number of times each basic block was reached.

Definition at line 136 of file FeasiblePath.h.


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