Class | Description |
---|---|
Access |
Access describes an execution path of a memory access instruction. |
AccessChooser | |
AccessesIterator |
AccessesIterator implements an iterator of memory accesses. |
AccessesIteratorExhaustive |
AccessesIteratorExhaustive implements an exhaustive iterator of memory access
skeletons, i.e. |
AccessesIteratorRandom |
AccessesIteratorRandom implements a random iterator of memory access skeletons,
i.e. |
AccessIterator |
AccessIterator implements a DFS-based iterator of memory access paths. |
AccessIterator.Result |
AccessIterator.Result represents an item returned by AccessIterator . |
AccessPath |
AccessPath represents the execution path of a memory access instruction. |
AccessPath.Builder | |
AccessPath.Entry | |
AddressDataGenerator |
AddressDataGenerator randomly generates an address from a given memory region. |
AddressObject |
AddressObject represents test data for an individual Access . |
BufferDependency |
BufferDependency describes a dependency, i.e. |
BufferHazard |
BufferHazard describes a buffer access hazard. |
BufferHazard.Instance | |
BufferUnitedDependency |
BufferUnitedDependency represents a united dependency. |
BufferUnitedHazard |
BufferUnitedHazard represents a united buffer access hazard,
which combines information on hazards for a single buffer access. |
CoverageExtractor | |
DependencyIterator |
DependencyIterator is a base iterator of dependencies between memory accesses. |
DependencyIteratorExhaustive |
DependencyIteratorExhaustive implements an exhaustive iterator of dependencies
between memory accesses. |
DependencyIteratorRandom |
DependencyIteratorRandom implements a random iterator of dependencies between
memory accesses. |
EntryIdAllocator |
EntryIdAllocator implements an allocator of entry identifiers (indices)
for non-replaceable (non-transparent) buffers. |
EntryObject |
EntryObject represents information about a buffer entry. |
EntryTracker |
EntryTracker tracks entries to be written to a memory-mapped buffer. |
Graph |
Graph represents a memory subsystem's control flow graph (CFG). |
Graph.Edge | |
MemoryDataGenerator |
MemoryDataGenerator implements a solver of memory-related constraints (hit, miss, etc.). |
MemoryEngine |
MemoryEngine implements a test engine for memory management units (MMU). |
MemoryEngineUtils |
MemoryEngineUtils implements utilities used in the memory engine. |
MemoryInitializerMaker |
MemoryInitializerMaker implements the memory engine initializer maker. |
SymbolicExecutor |
SymbolicExecutor implements a simple symbolic executor of memory access structures. |
SymbolicRestrictor |
SymbolicRestrictor produces a constraint for a given memory access. |
SymbolicResult |
SymbolicExecutor represents a result of symbolic execution. |
TrajectoryExtractor |
Given a memory subsystem specification and an abstraction (labeling) function,
TrajectoryExtractor extracts all possible trajectories (abstract paths). |
TrajectoryExtractor.Result |
TrajectoryExtractor.Result represents a result of TrajectoryExtractor . |
Enum | Description |
---|---|
AccessesIterator.Mode | |
AccessPath.Entry.Kind | |
BufferHazard.Type | |
GraphAbstraction |
GraphAbstraction contains different abstractions for memory access path transitions. |