Loader (p.binsec.0.8.2.doc.binsec.Binsec.Loader)

type ('a, 'b, 'c, 'd) t_pack =

| ELF of 'a
| PE of 'b
| Raw of 'c
| TI83 of 'd

include Loader_sigs.S
  with type Section.t =
         (Loader_elf.Section.t,
           Loader_pe.Section.t,
           Loader_raw.Section.t,
           Loader_ti83.Section.t)
           t_pack
   and type Symbol.t =
         (Loader_elf.Symbol.t,
           Loader_pe.Symbol.t,
           Loader_raw.Symbol.t,
           Loader_ti83.Symbol.t)
           t_pack
   and type Img.t =
         (Loader_elf.Img.t,
           Loader_pe.Img.t,
           Loader_raw.Img.t,
           Loader_ti83.Img.t)
           t_pack
   and type Section.header =
         (Loader_elf.Section.header,
           Loader_pe.Section.header,
           Loader_raw.Section.header,
           Loader_ti83.Section.header)
           t_pack
   and type Symbol.header =
         (Loader_elf.Symbol.header,
           Loader_pe.Symbol.header,
           Loader_raw.Symbol.header,
           Loader_ti83.Symbol.header)
           t_pack
   and type Img.header =
         (Loader_elf.Img.header,
           Loader_pe.Img.header,
           Loader_raw.Img.header,
           Loader_ti83.Img.header)
           t_pack

module Section : sig ... end

module Symbol : sig ... end

module Img : sig ... end

val check_magic : Loader_buf.t -> bool

val load : Loader_buf.t -> Img.t

val load_file_descr : Unix.file_descr -> Img.t

val load_file : string -> Img.t

val read_offset : Img.t -> int -> Loader_types.u8

val read_address : Img.t -> int -> Loader_types.u8

module Offset : Loader_buf.S with type t = Img.t

module Address : Loader_buf.S with type t = Img.t

module View : sig ... end