Constructors
Constructor and Description |
MemoryAccessPathIterator(MmuSubsystem memory,
java.util.Collection<java.lang.Object> trajectory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints) |
MemoryAccessPathIterator(MmuSubsystem memory,
java.util.Collection<java.lang.Object> trajectory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemoryAccessStack stack) |
MemoryAccessPathIterator(MmuSubsystem memory,
java.util.Collection<java.lang.Object> trajectory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemoryAccessStack stack,
MemorySymbolicExecutor.Result context) |
MemoryAccessPathIterator(MmuSubsystem memory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints) |
MemoryAccessPathIterator(MmuSubsystem memory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemoryAccessStack stack) |
MemoryAccessPathIterator(MmuSubsystem memory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemoryAccessStack stack,
MemorySymbolicExecutor.Result context) |
MemoryAccessPathIterator(MmuSubsystem memory,
MemoryGraph graph,
MemoryAccessType type,
MemoryAccessConstraints constraints,
MemorySymbolicExecutor.Result context) |