Module Dba2CodexC.Make

Parameters

module Reg : sig ... end

Signature

module State : sig ... end
val expr : Binsec.Dba.Expr.t -> State.t -> (Domain.binary * State.t) option
val instr : State.t -> Binsec.Dba.Instr.t -> (Binsec_codex_lib__Dba2Codex.jump_target * State.t) list