|
ROSE 0.11.145.354
|
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.