Description
Statistics from path searching.
Definition at line 131 of file FeasiblePath.h.
#include <Rose/BinaryAnalysis/FeasiblePath.h>
Collaboration diagram for Rose::BinaryAnalysis::FeasiblePath::Statistics:
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< rose_addr_t, size_t > | reachedBlockVas |
| Number of times each basic block was reached. | |
Constructor & Destructor Documentation
◆ Statistics()
|
inline |
Definition at line 139 of file FeasiblePath.h.
Member Data Documentation
◆ nPathsExplored
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::nPathsExplored |
Number of paths explored.
Definition at line 132 of file FeasiblePath.h.
◆ maxVertexVisitHits
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxVertexVisitHits |
Number of times settings.maxVertexVisit was hit.
Definition at line 133 of file FeasiblePath.h.
◆ maxPathLengthHits
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxPathLengthHits |
Number of times settings.maxPathLength was hit (effective K).
Definition at line 134 of file FeasiblePath.h.
◆ maxCallDepthHits
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxCallDepthHits |
Number of times settings.maxCallDepth was hit.
Definition at line 135 of file FeasiblePath.h.
◆ maxRecursionDepthHits
| size_t Rose::BinaryAnalysis::FeasiblePath::Statistics::maxRecursionDepthHits |
Number of times settings.maxRecursionDepth was hit.
Definition at line 136 of file FeasiblePath.h.
◆ reachedBlockVas
| Sawyer::Container::Map<rose_addr_t, size_t> Rose::BinaryAnalysis::FeasiblePath::Statistics::reachedBlockVas |
Number of times each basic block was reached.
Definition at line 137 of file FeasiblePath.h.
The documentation for this struct was generated from the following file:
