Module Create.Make

Parameters

module Reg : Arch_settings.Registers with module Domain = Domain

Signature

module State : StateS with module Domain = Domain
val expr : Binsec.Dba.Expr.t -> State.t -> (Domain.binary * State.t) option
val instr : State.t -> Binsec.Dba.Instr.t -> (jump_target * State.t) list