public final class MemorySymbolicExecutor
extends java.lang.Object
MemorySymbolicExecutor implements a simple symbolic executor of memory access structures.| Modifier and Type | Class and Description |
|---|---|
static class |
MemorySymbolicExecutor.Result
Result of a symbolic execution.
|
| Constructor and Description |
|---|
MemorySymbolicExecutor(MemoryAccessPath path,
boolean includeOriginalVariables) |
MemorySymbolicExecutor(MemoryAccessStructure structure,
boolean includeOriginalVariables) |
MemorySymbolicExecutor(MmuTransition transition,
MemorySymbolicExecutor.Result result,
boolean includeOriginalVariables) |
| Modifier and Type | Method and Description |
|---|---|
MemorySymbolicExecutor.Result |
execute() |
public MemorySymbolicExecutor(MmuTransition transition, MemorySymbolicExecutor.Result result, boolean includeOriginalVariables)
public MemorySymbolicExecutor(MemoryAccessPath path, boolean includeOriginalVariables)
public MemorySymbolicExecutor(MemoryAccessStructure structure, boolean includeOriginalVariables)
public MemorySymbolicExecutor.Result execute()