linksem 0.7 · OCaml Package

val elf_pt_null : Nat_big_num.num

val elf_pt_load : Nat_big_num.num

val elf_pt_dynamic : Nat_big_num.num

val elf_pt_interp : Nat_big_num.num

val elf_pt_note : Nat_big_num.num

val elf_pt_shlib : Nat_big_num.num

val elf_pt_phdr : Nat_big_num.num

val elf_pt_tls : Nat_big_num.num

val elf_pt_loos : Nat_big_num.num

val elf_pt_hios : Nat_big_num.num

val elf_pt_loproc : Nat_big_num.num

val elf_pt_hiproc : Nat_big_num.num

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

val elf_pf_x : Nat_big_num.num

val elf_pf_w : Nat_big_num.num

val elf_pf_r : Nat_big_num.num

val elf_pf_maskos : Nat_big_num.num

val elf_pf_maskproc : Nat_big_num.num

val exact_permissions_of_permission : 
  Nat_big_num.num ->
  Nat_big_num.num Error.error

val allowable_permissions_of_permission : 
  Nat_big_num.num ->
  Nat_big_num.num Error.error

val parse_elf_segment_permissions : Nat_big_num.num -> bool * bool * bool

val string_of_elf_segment_permissions : Nat_big_num.num -> string

type elf32_program_header_table_entry = {

elf32_p_type : Uint32_wrapper.uint32;
elf32_p_offset : Uint32_wrapper.uint32;
elf32_p_vaddr : Uint32_wrapper.uint32;
elf32_p_paddr : Uint32_wrapper.uint32;
elf32_p_filesz : Uint32_wrapper.uint32;
elf32_p_memsz : Uint32_wrapper.uint32;
elf32_p_flags : Uint32_wrapper.uint32;
elf32_p_align : Uint32_wrapper.uint32;

}

val compare_elf32_program_header_table_entry : 
  elf32_program_header_table_entry ->
  elf32_program_header_table_entry ->
  int

val instance_Basic_classes_Ord_Elf_program_header_table_elf32_program_header_table_entry_dict : 
  elf32_program_header_table_entry Lem_basic_classes.ord_class

type elf64_program_header_table_entry = {

elf64_p_type : Uint32_wrapper.uint32;
elf64_p_flags : Uint32_wrapper.uint32;
elf64_p_offset : Uint64_wrapper.uint64;
elf64_p_vaddr : Uint64_wrapper.uint64;
elf64_p_paddr : Uint64_wrapper.uint64;
elf64_p_filesz : Uint64_wrapper.uint64;
elf64_p_memsz : Uint64_wrapper.uint64;
elf64_p_align : Uint64_wrapper.uint64;

}

val compare_elf64_program_header_table_entry : 
  elf64_program_header_table_entry ->
  elf64_program_header_table_entry ->
  int

val instance_Basic_classes_Ord_Elf_program_header_table_elf64_program_header_table_entry_dict : 
  elf64_program_header_table_entry Lem_basic_classes.ord_class

val string_of_elf32_program_header_table_entry : 
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  elf32_program_header_table_entry ->
  string

val string_of_elf64_program_header_table_entry : 
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  elf64_program_header_table_entry ->
  string

val string_of_elf32_program_header_table_entry_default : 
  elf32_program_header_table_entry ->
  string

val string_of_elf64_program_header_table_entry_default : 
  elf64_program_header_table_entry ->
  string

val instance_Show_Show_Elf_program_header_table_elf32_program_header_table_entry_dict : 
  elf32_program_header_table_entry Show.show_class

val instance_Show_Show_Elf_program_header_table_elf64_program_header_table_entry_dict : 
  elf64_program_header_table_entry Show.show_class

val bytes_of_elf32_program_header_table_entry : 
  Endianness.endianness ->
  elf32_program_header_table_entry ->
  Byte_sequence_wrapper.byte_sequence

val bytes_of_elf64_program_header_table_entry : 
  Endianness.endianness ->
  elf64_program_header_table_entry ->
  Byte_sequence_wrapper.byte_sequence

val read_elf32_program_header_table_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_program_header_table_entry * Byte_sequence_wrapper.byte_sequence)
    Error.error

val read_elf64_program_header_table_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_program_header_table_entry * Byte_sequence_wrapper.byte_sequence)
    Error.error

type elf32_program_header_table = elf32_program_header_table_entry list

type elf64_program_header_table = elf64_program_header_table_entry list

val bytes_of_elf32_program_header_table : 
  Endianness.endianness ->
  elf32_program_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence

val bytes_of_elf64_program_header_table : 
  Endianness.endianness ->
  elf64_program_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence

val read_elf32_program_header_table' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_program_header_table_entry list Error.error

val read_elf64_program_header_table' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_program_header_table_entry list Error.error

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

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

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

val string_of_elf32_program_header_table : 
  ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) ->
  elf32_program_header_table_entry list ->
  string

val string_of_elf64_program_header_table : 
  ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) ->
  elf64_program_header_table_entry list ->
  string

val get_elf32_dynamic_linked : elf32_program_header_table_entry list -> bool

val get_elf64_dynamic_linked : elf64_program_header_table_entry list -> bool

val get_elf32_static_linked : elf32_program_header_table_entry list -> bool

val get_elf64_static_linked : elf64_program_header_table_entry list -> bool

val get_elf32_requested_interpreter : 
  elf32_program_header_table_entry ->
  Byte_sequence_wrapper.byte_sequence ->
  string Error.error

val get_elf64_requested_interpreter : 
  elf64_program_header_table_entry ->
  Byte_sequence_wrapper.byte_sequence ->
  string Error.error

package linksem