linksem 0.7 · OCaml Package

val is_elf32_valid_program_header_table_for_dynamic_linking : 
  Elf_program_header_table.elf32_program_header_table_entry list ->
  bool

val is_elf64_valid_program_header_table_for_dynamic_linking : 
  Elf_program_header_table.elf64_program_header_table_entry list ->
  bool

type (!'a, !'b) dyn_union =

| D_Val of 'a
| D_Ptr of 'b
| D_Ignored of Byte_sequence.byte_sequence0

type elf32_dyn = {

elf32_dyn_tag : Stdlib.Int32.t;
elf32_dyn_d_un : (Uint32_wrapper.uint32, Uint32_wrapper.uint32) dyn_union;

}

type elf64_dyn = {

elf64_dyn_tag : Stdlib.Int64.t;
elf64_dyn_d_un : (Uint64_wrapper.uint64, Uint64_wrapper.uint64) dyn_union;

}

val dt_null : Nat_big_num.num

val dt_needed : Nat_big_num.num

val dt_pltrelsz : Nat_big_num.num

val dt_pltgot : Nat_big_num.num

val dt_hash : Nat_big_num.num

val dt_strtab : Nat_big_num.num

val dt_symtab : Nat_big_num.num

val dt_rela : Nat_big_num.num

val dt_relasz : Nat_big_num.num

val dt_relaent : Nat_big_num.num

val dt_strsz : Nat_big_num.num

val dt_syment : Nat_big_num.num

val dt_init : Nat_big_num.num

val dt_fini : Nat_big_num.num

val dt_soname : Nat_big_num.num

val dt_rpath : Nat_big_num.num

val dt_symbolic : Nat_big_num.num

val dt_rel : Nat_big_num.num

val dt_relsz : Nat_big_num.num

val dt_relent : Nat_big_num.num

val dt_pltrel : Nat_big_num.num

val dt_debug : Nat_big_num.num

val dt_textrel : Nat_big_num.num

val dt_jmprel : Nat_big_num.num

val dt_bindnow : Nat_big_num.num

val dt_init_array : Nat_big_num.num

val dt_fini_array : Nat_big_num.num

val dt_init_arraysz : Nat_big_num.num

val dt_fini_arraysz : Nat_big_num.num

val dt_runpath : Nat_big_num.num

val dt_flags : Nat_big_num.num

val dt_encoding : Nat_big_num.num

val dt_preinit_array : Nat_big_num.num

val dt_preinit_arraysz : Nat_big_num.num

val dt_loos : Nat_big_num.num

val dt_hios : Nat_big_num.num

val dt_loproc : Nat_big_num.num

val dt_hiproc : Nat_big_num.num

val string_of_dynamic_tag : 
  bool ->
  Nat_big_num.num ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  string

type tag_correspondence =

| C_Val
| C_Ptr
| C_Ignored

val tag_correspondence_of_tag : 
  bool ->
  Nat_big_num.num ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  tag_correspondence Error.error

val read_elf32_dyn : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  bool ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (elf32_dyn * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_dyn : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  bool ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (elf64_dyn * Byte_sequence_wrapper.byte_sequence) Error.error

val obtain_elf32_dynamic_section_contents' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  bool ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  elf32_dyn list Error.error

val obtain_elf64_dynamic_section_contents' : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  bool ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  elf64_dyn list Error.error

val obtain_elf32_dynamic_section_contents : 
  Elf_file.elf32_file ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_dyn list Error.error

val obtain_elf64_dynamic_section_contents : 
  Elf_file.elf64_file ->
  (Nat_big_num.num -> bool) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  (Nat_big_num.num -> tag_correspondence Error.error) ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_dyn list Error.error

val df_origin : Nat_big_num.num

val df_symbolic : Nat_big_num.num

val df_textrel : Nat_big_num.num

val df_bindnow : Nat_big_num.num

val df_static_tls : Nat_big_num.num

val check_flag : Nat_big_num.num -> Nat_big_num.num -> bool

val string_of_dt_flag : Nat_big_num.num -> string

type rel_type =

| Rel
| RelA

val string_of_rel_type : rel_type -> string

type (!'addr, !'size) dyn_value =

| Address of 'addr
| Size of 'size
| FName of string
| SOName of string
| Path of string
| RPath of string
| RunPath of string
| Library of string
| Flags1 of Nat_big_num.num
| Flags of Nat_big_num.num
| Numeric of Nat_big_num.num
| Checksum of Nat_big_num.num
| RelType of rel_type
| Timestamp of Nat_big_num.num
| Null
| Ignored

type elf32_dyn_value = (Uint32_wrapper.uint32, Uint32_wrapper.uint32) dyn_value

type elf64_dyn_value = (Uint64_wrapper.uint64, Uint64_wrapper.uint64) dyn_value

val get_string_table_of_elf32_dyn_section : 
  'a ->
  elf32_dyn list ->
  Elf_section_header_table.elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  String_table.string_table Error.error

val get_string_table_of_elf64_dyn_section : 
  'a ->
  elf64_dyn list ->
  Elf_section_header_table.elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  String_table.string_table Error.error

val get_value_of_elf32_dyn : 
  bool ->
  elf32_dyn ->
  (Nat_big_num.num -> bool) ->
  (elf32_dyn ->
    String_table.string_table ->
    (Uint32_wrapper.uint32, Uint32_wrapper.uint32) dyn_value Error.error) ->
  (elf32_dyn ->
    String_table.string_table ->
    (Uint32_wrapper.uint32, Uint32_wrapper.uint32) dyn_value Error.error) ->
  String_table.string_table ->
  (Uint32_wrapper.uint32, Uint32_wrapper.uint32) dyn_value Error.error

val get_value_of_elf64_dyn : 
  bool ->
  elf64_dyn ->
  (Nat_big_num.num -> bool) ->
  (elf64_dyn ->
    String_table.string_table ->
    (Uint64_wrapper.uint64, Uint64_wrapper.uint64) dyn_value Error.error) ->
  (elf64_dyn ->
    String_table.string_table ->
    (Uint64_wrapper.uint64, Uint64_wrapper.uint64) dyn_value Error.error) ->
  String_table.string_table ->
  (Uint64_wrapper.uint64, Uint64_wrapper.uint64) dyn_value Error.error

package linksem