linksem 0.7 · OCaml Package

val shn_loreserve : Nat_big_num.num

val shn_loproc : Nat_big_num.num

val shn_hiproc : Nat_big_num.num

val shn_loos : Nat_big_num.num

val shn_hios : Nat_big_num.num

val shn_abs : Nat_big_num.num

val shn_common : Nat_big_num.num

val shn_hireserve : Nat_big_num.num

val string_of_special_section_index : Nat_big_num.num -> string

val sht_null : Nat_big_num.num

val sht_progbits : Nat_big_num.num

val sht_symtab : Nat_big_num.num

val sht_dynsym : Nat_big_num.num

val sht_strtab : Nat_big_num.num

val sht_rela : Nat_big_num.num

val sht_hash : Nat_big_num.num

val sht_dynamic : Nat_big_num.num

val sht_note : Nat_big_num.num

val sht_nobits : Nat_big_num.num

val sht_rel : Nat_big_num.num

val sht_shlib : Nat_big_num.num

val sht_init_array : Nat_big_num.num

val sht_fini_array : Nat_big_num.num

val sht_preinit_array : Nat_big_num.num

val sht_group : Nat_big_num.num

val sht_symtab_shndx : Nat_big_num.num

val sht_loos : Nat_big_num.num

val sht_hios : Nat_big_num.num

val sht_loproc : Nat_big_num.num

val sht_hiproc : Nat_big_num.num

val sht_louser : Nat_big_num.num

val sht_hiuser : Nat_big_num.num

val string_of_section_type : 
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  Nat_big_num.num ->
  string

val shf_write : Nat_big_num.num

val shf_alloc : Nat_big_num.num

val shf_execinstr : Nat_big_num.num

val shf_merge : Nat_big_num.num

val shf_strings : Nat_big_num.num

val shf_info_link : Nat_big_num.num

val shf_link_order : Nat_big_num.num

val shf_os_nonconforming : Nat_big_num.num

val shf_group : Nat_big_num.num

val shf_tls : Nat_big_num.num

val shf_compressed : Nat_big_num.num

val shf_mask_os : Nat_big_num.num

val shf_mask_proc : Nat_big_num.num

val string_of_section_flags : 'a -> 'b -> Nat_big_num.num -> string

type elf32_compression_header = {

elf32_chdr_type : Uint32_wrapper.uint32;
elf32_chdr_size : Uint32_wrapper.uint32;
elf32_chdr_addralign : Uint32_wrapper.uint32;

}

type elf64_compression_header = {

elf64_chdr_type : Uint32_wrapper.uint32;
elf64_chdr_reserved : Uint32_wrapper.uint32;
elf64_chdr_size : Uint64_wrapper.uint64;
elf64_chdr_addralign : Uint64_wrapper.uint64;

}

val elfcompress_zlib : Nat_big_num.num

val elfcompress_loos : Nat_big_num.num

val elfcompress_hios : Nat_big_num.num

val elfcompress_loproc : Nat_big_num.num

val elfcompress_hiproc : Nat_big_num.num

val read_elf32_compression_header : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_compression_header * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_compression_header : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_compression_header * Byte_sequence_wrapper.byte_sequence) Error.error

type elf32_section_header_table_entry = {

elf32_sh_name : Uint32_wrapper.uint32;
elf32_sh_type : Uint32_wrapper.uint32;
elf32_sh_flags : Uint32_wrapper.uint32;
elf32_sh_addr : Uint32_wrapper.uint32;
elf32_sh_offset : Uint32_wrapper.uint32;
elf32_sh_size : Uint32_wrapper.uint32;
elf32_sh_link : Uint32_wrapper.uint32;
elf32_sh_info : Uint32_wrapper.uint32;
elf32_sh_addralign : Uint32_wrapper.uint32;
elf32_sh_entsize : Uint32_wrapper.uint32;

}

val elf32_null_section_header : elf32_section_header_table_entry

val compare_elf32_section_header_table_entry : 
  elf32_section_header_table_entry ->
  elf32_section_header_table_entry ->
  int

val instance_Basic_classes_Ord_Elf_section_header_table_elf32_section_header_table_entry_dict : 
  elf32_section_header_table_entry Lem_basic_classes.ord_class

type elf64_section_header_table_entry = {

elf64_sh_name : Uint32_wrapper.uint32;
elf64_sh_type : Uint32_wrapper.uint32;
elf64_sh_flags : Uint64_wrapper.uint64;
elf64_sh_addr : Uint64_wrapper.uint64;
elf64_sh_offset : Uint64_wrapper.uint64;
elf64_sh_size : Uint64_wrapper.uint64;
elf64_sh_link : Uint32_wrapper.uint32;
elf64_sh_info : Uint32_wrapper.uint32;
elf64_sh_addralign : Uint64_wrapper.uint64;
elf64_sh_entsize : Uint64_wrapper.uint64;

}

val elf64_null_section_header : elf64_section_header_table_entry

val compare_elf64_section_header_table_entry : 
  elf64_section_header_table_entry ->
  elf64_section_header_table_entry ->
  int

val instance_Basic_classes_Ord_Elf_section_header_table_elf64_section_header_table_entry_dict : 
  elf64_section_header_table_entry Lem_basic_classes.ord_class

type elf32_section_header_table = elf32_section_header_table_entry list

type elf64_section_header_table = elf64_section_header_table_entry list

val bytes_of_elf32_section_header_table_entry : 
  Endianness.endianness ->
  elf32_section_header_table_entry ->
  Byte_sequence_wrapper.byte_sequence

val read_elf32_section_header_table_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_section_header_table_entry * Byte_sequence_wrapper.byte_sequence)
    Error.error

val bytes_of_elf64_section_header_table_entry : 
  Endianness.endianness ->
  elf64_section_header_table_entry ->
  Byte_sequence_wrapper.byte_sequence

val read_elf64_section_header_table_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_section_header_table_entry * Byte_sequence_wrapper.byte_sequence)
    Error.error

val bytes_of_elf32_section_header_table : 
  Endianness.endianness ->
  elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence

val bytes_of_elf64_section_header_table : 
  Endianness.endianness ->
  elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence

val read_elf32_section_header_table' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_section_header_table_entry list Error.error

val read_elf64_section_header_table' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_section_header_table_entry list Error.error

val read_elf32_section_header_table : 
  Nat_big_num.num ->
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_section_header_table_entry list * Byte_sequence_wrapper.byte_sequence)
    Error.error

val read_elf64_section_header_table : 
  Nat_big_num.num ->
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_section_header_table_entry list * Byte_sequence_wrapper.byte_sequence)
    Error.error

val elf32_size_correct : elf32_section_header_table_entry -> 'a list -> bool

val elf64_size_correct : elf64_section_header_table_entry -> 'a list -> bool

val is_elf32_addr_addralign_correct : elf32_section_header_table_entry -> bool

val is_elf64_addr_addralign_correct : elf64_section_header_table_entry -> bool

val is_valid_elf32_section_header_table : 
  elf32_section_header_table_entry list ->
  bool

val is_valid_elf64_section_header_table : 
  elf64_section_header_table_entry list ->
  bool

type sht_print_bundle =
  (Nat_big_num.num ->
  string)
  * (Nat_big_num.num ->
  string)
  * (Nat_big_num.num ->
  string)

val string_of_elf32_section_header_table_entry : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  elf32_section_header_table_entry ->
  string

val string_of_elf64_section_header_table_entry : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  elf64_section_header_table_entry ->
  string

val string_of_elf32_section_header_table_entry' : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  String_table.string_table ->
  elf32_section_header_table_entry ->
  string

val string_of_elf64_section_header_table_entry' : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  String_table.string_table ->
  elf64_section_header_table_entry ->
  string

val string_of_elf32_section_header_table_entry_default : 
  elf32_section_header_table_entry ->
  string

val instance_Show_Show_Elf_section_header_table_elf32_section_header_table_entry_dict : 
  elf32_section_header_table_entry Show.show_class

val string_of_elf64_section_header_table_entry_default : 
  elf64_section_header_table_entry ->
  string

val instance_Show_Show_Elf_section_header_table_elf64_section_header_table_entry_dict : 
  elf64_section_header_table_entry Show.show_class

val string_of_elf32_section_header_table : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  elf32_section_header_table_entry list ->
  string

val string_of_elf32_section_header_table_default : 
  elf32_section_header_table ->
  string

val string_of_elf64_section_header_table : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  elf64_section_header_table_entry list ->
  string

val string_of_elf64_section_header_table_default : 
  elf64_section_header_table ->
  string

val string_of_elf32_section_header_table' : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  String_table.string_table ->
  elf32_section_header_table_entry list ->
  string

val string_of_elf64_section_header_table' : 
  ((Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)
   * (Nat_big_num.num ->
   string)) ->
  String_table.string_table ->
  elf64_section_header_table_entry list ->
  string

val is_elf32_tbss_special : 
  elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val is_elf64_tbss_special : 
  elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

val get_elf32_section_to_segment_mapping : 
  'a ->
  elf32_section_header_table_entry list ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  ('a ->
    elf32_section_header_table_entry ->
    Elf_program_header_table.elf32_program_header_table_entry ->
    bool) ->
  String_table.string_table ->
  string list Error.error

val get_elf64_section_to_segment_mapping : 
  'a ->
  elf64_section_header_table_entry list ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  ('a ->
    elf64_section_header_table_entry ->
    Elf_program_header_table.elf64_program_header_table_entry ->
    bool) ->
  String_table.string_table ->
  string list Error.error

val grp_comdat : Nat_big_num.num

val grp_maskos : Nat_big_num.num

val grp_maskproc : Nat_big_num.num

val obtain_elf32_section_group_indices : 
  Endianness.endianness ->
  elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  (Nat_big_num.num * Uint32_wrapper.uint32 list) list Error.error

val obtain_elf64_section_group_indices : 
  Endianness.endianness ->
  elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  (Nat_big_num.num * Uint32_wrapper.uint32 list) list Error.error

val obtain_elf32_tls_template : 
  elf32_section_header_table_entry list ->
  elf32_section_header_table_entry list

val obtain_elf64_tls_template : 
  elf64_section_header_table_entry list ->
  elf64_section_header_table_entry list

val obtain_elf32_hash_table : 
  Endianness.endianness ->
  elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32
   * Uint32_wrapper.uint32
   * Uint32_wrapper.uint32 list
   * Uint32_wrapper.uint32 list)
    Error.error

val obtain_elf64_hash_table : 
  Endianness.endianness ->
  elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32
   * Uint32_wrapper.uint32
   * Uint32_wrapper.uint32 list
   * Uint32_wrapper.uint32 list)
    Error.error

val elf_special_sections : (string, Nat_big_num.num * Nat_big_num.num) Pmap.map

package linksem