| 
    ROSE 0.11.145.357
    
   | 
 
Statistics from path searching.
Definition at line 131 of file FeasiblePath.h.
#include <Rose/BinaryAnalysis/FeasiblePath.h>

Public Member Functions | |
| Statistics & | operator+= (const Statistics &) | 
Public Attributes | |
| size_t | nPathsExplored | 
| Number of paths explored.   | |
| size_t | maxVertexVisitHits | 
| Number of times settings.maxVertexVisit was hit.   | |
| size_t | maxPathLengthHits | 
| Number of times settings.maxPathLength was hit (effective K).   | |
| size_t | maxCallDepthHits | 
| Number of times settings.maxCallDepth was hit.   | |
| size_t | maxRecursionDepthHits | 
| Number of times settings.maxRecursionDepth was hit.   | |
| Sawyer::Container::Map< Address, size_t > | reachedBlockVas | 
| Number of times each basic block was reached.   | |
      
  | 
  inline | 
Definition at line 139 of file FeasiblePath.h.
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::nPathsExplored | 
Number of paths explored.
Definition at line 132 of file FeasiblePath.h.
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxVertexVisitHits | 
Number of times settings.maxVertexVisit was hit.
Definition at line 133 of file FeasiblePath.h.
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxPathLengthHits | 
Number of times settings.maxPathLength was hit (effective K).
Definition at line 134 of file FeasiblePath.h.
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxCallDepthHits | 
Number of times settings.maxCallDepth was hit.
Definition at line 135 of file FeasiblePath.h.
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxRecursionDepthHits | 
Number of times settings.maxRecursionDepth was hit.
Definition at line 136 of file FeasiblePath.h.
| Sawyer::Container::Map<Address, size_t> Rose::BinaryAnalysis::FeasiblePath::Statistics::reachedBlockVas | 
Number of times each basic block was reached.
Definition at line 137 of file FeasiblePath.h.