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