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(java.util.List<Access> structure,
boolean finalize) |
java.lang.Boolean |
execute(MemoryDataType dataType) |
java.lang.Boolean |
execute(ru.ispras.fortress.expression.Node condition) |
SymbolicResult |
getResult() |
public SymbolicExecutor(SymbolicRestrictor restrictor, SymbolicResult result)
public SymbolicExecutor(SymbolicResult result)
public SymbolicResult getResult()
public java.lang.Boolean execute(MemoryDataType dataType)
public java.lang.Boolean execute(ru.ispras.fortress.expression.Node 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)