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 TypedC = Types.TypedC

module type Address_sig = sig ... end

module type RegionS = sig ... end

module type StateS = sig ... end

module Create () : sig ... end