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.Entry entry,
boolean includeOriginalVariables) |
MemorySymbolicExecutor(MemoryAccessPath.Entry entry,
MemorySymbolicExecutor.Result result,
boolean includeOriginalVariables) |
MemorySymbolicExecutor(MemoryAccessPath path,
boolean includeOriginalVariables) |
MemorySymbolicExecutor(MemoryAccessStructure structure,
boolean includeOriginalVariables) |
Modifier and Type | Method and Description |
---|---|
MemorySymbolicExecutor.Result |
execute() |
public MemorySymbolicExecutor(MemoryAccessPath.Entry entry, MemorySymbolicExecutor.Result result, boolean includeOriginalVariables)
public MemorySymbolicExecutor(MemoryAccessPath.Entry entry, boolean includeOriginalVariables)
public MemorySymbolicExecutor(MemoryAccessPath path, boolean includeOriginalVariables)
public MemorySymbolicExecutor(MemoryAccessStructure structure, boolean includeOriginalVariables)
public MemorySymbolicExecutor.Result execute()