Description

Statistics from path searching.

Definition at line 131 of file FeasiblePath.h.

Collaboration diagram for Rose::BinaryAnalysis::FeasiblePath::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 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<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: