Module Binsec_codex_lib.Dba2Codex

module VarMap : Stdlib.Map.S with type key = string
type jump_target =
  1. | Jump_Inner of Binsec.Dba.id
    (*

    Some instruction in a block

    *)
  2. | Jump_Outer of Binsec.Virtual_address.t
    (*

    Some instruction outside of the block.

    *)
  3. | Jump_Dynamic
module Ctypes = Types.Ctypes
module type Address_sig = sig ... end
module type RegionS = sig ... end
module type StateS = sig ... end
module Create () : sig ... end