Class SymbolicRestrictor


  • public final class SymbolicRestrictor
    extends java.lang.Object
    SymbolicRestrictor produces a constraint for a given memory access.
    • Constructor Detail

      • SymbolicRestrictor

        public SymbolicRestrictor​(RegionSettings region)
    • Method Detail

      • getConstraints

        public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints​(MmuBufferAccess bufferAccess)
      • getConstraints

        public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints()
      • getConstraints

        public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints​(boolean isStart,
                                                                                       MmuTransition transition,
                                                                                       MemoryAccessContext context)
      • getConstraints

        public java.util.Collection<ru.ispras.fortress.expression.Node> getConstraints​(boolean isStart,
                                                                                       MmuProgram program,
                                                                                       MemoryAccessContext context)