public final class SymbolicExecutor
extends java.lang.Object
SymbolicExecutor
implements a simple symbolic executor of memory access structures.Constructor and Description |
---|
SymbolicExecutor(SymbolicRestrictor restrictor,
SymbolicResult result) |
SymbolicExecutor(SymbolicResult result) |
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
execute(Access access,
boolean finalize) |
java.lang.Boolean |
execute(AccessPath.Entry entry) |
java.lang.Boolean |
execute(DataType dataType) |
java.lang.Boolean |
execute(IntegerConstraint<IntegerField> constraint) |
java.lang.Boolean |
execute(java.util.List<Access> structure,
boolean finalize) |
java.lang.Boolean |
execute(MmuCondition condition) |
SymbolicResult |
getResult() |
public SymbolicExecutor(SymbolicRestrictor restrictor, SymbolicResult result)
public SymbolicExecutor(SymbolicResult result)
public SymbolicResult 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(AccessPath.Entry entry)
public java.lang.Boolean execute(Access access, boolean finalize)
public java.lang.Boolean execute(java.util.List<Access> structure, boolean finalize)