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