public final class MemorySymbolicExecutor
extends java.lang.Object
MemorySymbolicExecutor
implements a simple symbolic executor of memory access structures.Constructor and Description |
---|
MemorySymbolicExecutor() |
MemorySymbolicExecutor(MemorySymbolicResult result) |
Modifier and Type | Method and Description |
---|---|
void |
execute(IntegerConstraint<IntegerField> constraint) |
void |
execute(MemoryAccessPath.Entry entry) |
void |
execute(MemoryAccessPath path,
boolean finalize) |
void |
execute(MemoryAccessStructure structure,
boolean finalize) |
MemorySymbolicResult |
getResult() |
public MemorySymbolicExecutor(MemorySymbolicResult result)
public MemorySymbolicExecutor()
public MemorySymbolicResult getResult()
public void execute(IntegerConstraint<IntegerField> constraint)
public void execute(MemoryAccessPath.Entry entry)
public void execute(MemoryAccessPath path, boolean finalize)
public void execute(MemoryAccessStructure structure, boolean finalize)