Class | Description |
---|---|
CoverageExtractor | |
MemoryAccessPathChooser | |
MemoryAccessPathIterator |
MemoryAccessPathIterator implements a DFS-based iterator of memory access paths. |
MemoryAccessPathIterator.Result | |
MemoryGraph |
MemoryGraph represents a memory subsystem's control flow graph (CFG). |
MemoryGraph.Edge | |
MemoryTrajectoryExtractor |
Given a memory subsystem specification and an abstraction (labeling) function,
MemoryTrajectoryExtractor extracts all possible trajectories (abstract paths). |
MemoryTrajectoryExtractor.Result |
MemoryTrajectoryExtractor.Result represents a result of MemoryTrajectoryExtractor . |
Enum | Description |
---|---|
MemoryGraphAbstraction |
MemoryGraphAbstraction contains different abstractions for memory access path transitions. |