Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Implements the default (concrete) interpreter for the Operations
effect.
Documentation
Representation of the concrete architectural state of the interpreter.
mkArchState :: Address -> Word32 -> IO ArchState Source #
Create a new ArchState
based on a memory start address and a memory size.
dumpState :: ArchState -> IO () Source #
Write a textual representation of the ArchState
to standard output.
defaultInstructions :: MonadIO m => ArchState -> Operations BV ~> m Source #
Implements concrete interpretation of the Operations
effect based on a BV
value representation.