include Loader_sigs.S
with type Section.t =
(Loader_elf.Section.t, Loader_pe.Section.t, Loader_dump.Section.t)
t_pack
and type Symbol.t =
(Loader_elf.Symbol.t, Loader_pe.Symbol.t, Loader_dump.Symbol.t) t_pack
and type Img.t =
(Loader_elf.Img.t, Loader_pe.Img.t, Loader_dump.Img.t) t_pack
and type Section.header =
(Loader_elf.Section.header,
Loader_pe.Section.header,
Loader_dump.Section.header)
header_pack
and type Symbol.header =
(Loader_elf.Symbol.header,
Loader_pe.Symbol.header,
Loader_dump.Symbol.header)
header_pack
and type Img.header =
(Loader_elf.Img.header, Loader_pe.Img.header, Loader_dump.Img.header)
header_packmodule 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.t