Class | Description |
---|---|
CoverageExtractor | |
MemoryAccessChooser | |
MemoryAccessIterator |
MemoryAccessIterator implements a DFS-based iterator of memory access paths. |
MemoryAccessIterator.Result |
MemoryAccessIterator.Result represents an item returned by MemoryAccessIterator . |
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. |