package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.Elf_loaderSource

module Big_int = Nat_big_num
Sourceval opt_elf_threads : int ref
Sourceval opt_elf_entry : Big_int.num ref
Sourceval opt_elf_tohost : Big_int.num ref
Sourcetype elf_class =
  1. | ELF_Class_64
  2. | ELF_Class_32
Sourceval opt_elf_class : elf_class ref
Sourceval opt_symbol_map : Elf_file.global_symbol_init_info ref
Sourcetype word8 = int
Sourceval escape_char : char -> char
Sourceval hex_line : char list -> string
Sourceval break : Nat_num.nat -> 'a list -> 'a list list
Sourceval print_segment : Byte_sequence_wrapper.byte_sequence -> unit
Sourcetype elf_segs =
  1. | ELF64 of Elf_interpreted_segment.elf64_interpreted_segment list
  2. | ELF32 of Elf_interpreted_segment.elf32_interpreted_segment list
Sourceval read : string -> elf_segs * Nat_big_num.num * Elf_file.global_symbol_init_info
Sourceval write_sail_lib : Big_int.num -> int -> int -> unit
Sourceval write_mem_zeros : Big_int.num -> Big_int.num -> unit
Sourceval write_file : out_channel -> Big_int.num -> int -> int -> unit
Sourceval print_seg_info : Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> unit
Sourceval load_segment : ?writer:(Big_int.num -> int -> int -> unit) -> Byte_sequence_wrapper.byte_sequence -> Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> Big_int.num -> unit
Sourceval load_elf : ?writer:(Big_int.num -> int -> int -> unit) -> string -> unit
Sourceval load_binary : ?writer:(Big_int.num -> int -> int -> unit) -> Big_int.num -> string -> unit
Sourceval elf_entry : unit -> Big_int.num
Sourceval elf_tohost : unit -> Big_int.num
Sourceval elf_class : unit -> elf_class
Sourceval elf_symbol : string -> Nat_big_num.num option
Sourceval elf_symbols : unit -> Elf_file.global_symbol_init_info
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct