Load (p.linksem.0.8.doc.linksem

Source

val get_section_at_addr : 
  Elf_file.elf64_file ->
  Nat_big_num.num ->
  Elf_interpreted_section.elf64_interpreted_section option

Sourceval show_section_at_addr : Elf_file.elf64_file -> Nat_big_num.num -> string

Sourcetype dynamic_symbol = {

dynamic_symbol_name : string;
dynamic_symbol_entry : Elf_symbol_table.elf64_symbol_table_entry;
dynamic_symbol_value : Nat_big_num.num;
dynamic_symbol_version : string option;
dynamic_symbol_version_base : bool;

}

Source

val find_sym : 
  dynamic_symbol list ->
  string ->
  string option ->
  dynamic_symbol option

Sourceval is_data_section : Elf_interpreted_section.elf64_interpreted_section -> bool

Source

val is_unsupported_relocation_type : 
  Elf_file.elf64_file ->
  Nat_big_num.num ->
  bool

Source

val apply_relocation : 
  'abifeature Memory_image.abi ->
  Elf_file.elf64_file ->
  'abifeature Memory_image.annotated_memory_image ->
  Nat_big_num.num ->
  Elf_relocation.elf64_relocation_a ->
  Memory_image.symbol_reference_and_reloc_site ->
  dynamic_symbol option ->
  bool ->
  'abifeature Memory_image.annotated_memory_image

Source

val get_sym_ref_version : 
  Nat_big_num.num ->
  Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
  'a ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  string option

Source

val mask_data_sections : 
  Elf_file.elf64_file ->
  'abifeature Memory_image.annotated_memory_image ->
  'abifeature Memory_image.annotated_memory_image

Source

val mask_relocations : 
  'abifeature Memory_image.abi ->
  Elf_file.elf64_file ->
  'abifeature Memory_image.annotated_memory_image ->
  'abifeature Memory_image.annotated_memory_image

Sourceval amd64_address_size : Nat_big_num.num

Source

val init_amd64_pltgot : 
  'abifeature Memory_image.annotated_memory_image ->
  Nat_big_num.num ->
  (Nat_big_num.num * (Nat_big_num.num, 'a) Elf_dynamic.dyn_value) list ->
  'abifeature Memory_image.annotated_memory_image

Sourceval mips64_address_size : Nat_big_num.num

Source

val apply_mips64_local_got_relocations : 
  Endianness.endianness ->
  'abifeature Memory_image.annotated_memory_image ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  'abifeature Memory_image.annotated_memory_image * Nat_big_num.num

Source

val apply_mips64_global_got_relocations' : 
  'a Memory_image.abi ->
  Elf_file.elf64_file ->
  'a Memory_image.annotated_memory_image ->
  dynamic_symbol list ->
  (string * 'b * Nat_big_num.num * Nat_big_num.num) list ->
  Nat_big_num.num ->
  Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  bool ->
  'a Memory_image.annotated_memory_image * Nat_big_num.num

Source

val apply_mips64_global_got_relocations : 
  'a Memory_image.abi ->
  Elf_file.elf64_file ->
  'a Memory_image.annotated_memory_image ->
  dynamic_symbol list ->
  Nat_big_num.num ->
  Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  bool ->
  'a Memory_image.annotated_memory_image * Nat_big_num.num

Source

val apply_mips64_got_relocations : 
  'a Memory_image.abi ->
  Elf_file.elf64_file ->
  'a Memory_image.annotated_memory_image ->
  dynamic_symbol list ->
  Nat_big_num.num ->
  (Nat_big_num.num * (Nat_big_num.num, 'b) Elf_dynamic.dyn_value) list ->
  Nat_big_num.num ->
  Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
  bool ->
  'a Memory_image.annotated_memory_image

Source

val apply_cheri_mips64_cap_relocations : 
  Elf_file.elf64_file ->
  'a Memory_image.annotated_memory_image ->
  Nat_big_num.num ->
  (Nat_big_num.num * (Nat_big_num.num, 'b) Elf_dynamic.dyn_value) list ->
  bool ->
  'a Memory_image.annotated_memory_image

Source

val sym_add_verdef : 
  dynamic_symbol ->
  Gnu_ext_symbol_versioning.gnu_ext_interpreted_verdef ->
  dynamic_symbol

Source

val extract_dynsyms : 
  Elf_file.elf64_file ->
  Nat_big_num.num ->
  dynamic_symbol list ->
  Nat_big_num.num ->
  Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
  dynamic_symbol list Error.error