package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 =
  1. | D_Val of 'a
  2. | D_Ptr of 'b
  3. | D_Ignored of Byte_sequence.byte_sequence0
type elf32_dyn = {
  1. elf32_dyn_tag : Int32.t;
  2. elf32_dyn_d_un : (Uint32_wrapper.uint32, Uint32_wrapper.uint32) dyn_union;
}
type elf64_dyn = {
  1. elf64_dyn_tag : Int64.t;
  2. 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 =
  1. | C_Val
  2. | C_Ptr
  3. | C_Ignored
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 =
  1. | Rel
  2. | RelA
val string_of_rel_type : rel_type -> string
type (!'addr, !'size) dyn_value =
  1. | Address of 'addr
  2. | Size of 'size
  3. | FName of string
  4. | SOName of string
  5. | Path of string
  6. | RPath of string
  7. | RunPath of string
  8. | Library of string
  9. | Flags1 of Nat_big_num.num
  10. | Flags of Nat_big_num.num
  11. | Numeric of Nat_big_num.num
  12. | Checksum of Nat_big_num.num
  13. | RelType of rel_type
  14. | Timestamp of Nat_big_num.num
  15. | Null
  16. | Ignored