Class SymbolicExecutor


  • public final class SymbolicExecutor
    extends java.lang.Object
    SymbolicExecutor implements a simple symbolic executor of memory access structures.
    • Method Detail

      • execute

        public java.lang.Boolean execute​(MemoryDataType dataType)
      • execute

        public java.lang.Boolean execute​(ru.ispras.fortress.expression.Node condition)
      • execute

        public java.lang.Boolean execute​(Access access,
                                         boolean finalize)
      • execute

        public java.lang.Boolean execute​(java.util.List<Access> structure,
                                         boolean finalize)