bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Memory
type memory

abstract memory descriptor, see Descriptor.t

module Descriptor : sig ... end

Abstract memory descriptor.

type exn +=
| Pagefault of Bap.Std.addr

occurs when a memory operation for the given addr cannot be satisfied.

val generated : (Bap.Std.addr * value) observation
module Make (Machine : Machine.S) : sig ... end

Make(Machine) lifts the memory interface into the Machine monad.