package binsec
Module Binsec.Loader
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 ... endmodule Symbol : sig ... endmodule Img : sig ... endval check_magic : Loader_buf.t -> boolval load : Loader_buf.t -> Img.tval load_file_descr : Unix.file_descr -> Img.tval load_file : string -> Img.tval read_offset : Img.t -> int -> Loader_types.u8val read_address : Img.t -> int -> Loader_types.u8module Offset : Loader_buf.S with type t = Img.tmodule Address : Loader_buf.S with type t = Img.tmodule View : sig ... end