Elf_memory_image (p.linksem.0.8.doc.linksem_num.Elf_memory

Source

type elf_memory_image =
  Abis.any_abi_feature Memory_image.annotated_memory_image

Source

val elf_section_is_special0 : 
  Elf_interpreted_section.elf64_interpreted_section ->
  'a ->
  bool

Source

val noop_reloc0 : 
  'a ->
  (Elf_symbol_table.elf64_symbol_table_entry option ->
  Nat_big_num.num)
  * ('abifeature Memory_image.annotated_memory_image ->
  Nat_big_num.num option)

Source

val empty_elf_memory_image : 
  Abis.any_abi_feature Memory_image.annotated_memory_image

Sourcetype elf_range_tag = Abis.any_abi_feature Memory_image.range_tag

Sourceval null_section_header_table : Memory_image.elf_file_feature

Sourceval null_program_header_table : Memory_image.elf_file_feature

Sourceval null_elf_header : Elf_header.elf64_header

Source

val offset_to_vaddr_mappings : 
  Elf_file.elf64_file ->
  Nat_big_num.num ->
  (Nat_big_num.num * Elf_interpreted_segment.elf64_interpreted_segment) list

Sourceval gensym : string -> string

Source

val extract_symbol : 
  (Elf_symbol_table.elf64_symbol_table_entry list
   * String_table.string_table
   * 'a) ->
  Nat_big_num.num ->
  (string * Elf_symbol_table.elf64_symbol_table_entry) option

Source

val extract_satisfying_symbols : 
  (Elf_symbol_table.elf64_symbol_table_entry list
   * String_table.string_table
   * Nat_big_num.num) ->
  (Elf_symbol_table.elf64_symbol_table_entry -> bool) ->
  (string
   * Elf_symbol_table.elf64_symbol_table_entry
   * Nat_big_num.num
   * Nat_big_num.num)
    list

Source

val extract_all_symbols : 
  (Elf_symbol_table.elf64_symbol_table_entry list
   * String_table.string_table
   * Nat_big_num.num) ->
  (string
   * Elf_symbol_table.elf64_symbol_table_entry
   * Nat_big_num.num
   * Nat_big_num.num)
    list

Sourceval definitions_pred : Elf_symbol_table.elf64_symbol_table_entry -> bool

Sourceval references_pred : Elf_symbol_table.elf64_symbol_table_entry -> bool

Source

val extract_definitions_from_symtab_of_type : 
  Nat_big_num.num ->
  Elf_file.elf64_file ->
  Memory_image.symbol_definition list

Source

val extract_references_from_symtab_of_type : 
  Nat_big_num.num ->
  Elf_file.elf64_file ->
  Memory_image.symbol_reference list

Source

val extract_all_relocs : 
  'a ->
  Elf_file.elf64_file ->
  (Nat_big_num.num
   * Nat_big_num.num
   * Nat_big_num.num
   * Elf_relocation.elf64_relocation_a)
    list

Source

val extract_all_relocs_as_symbol_references : 
  'a ->
  Elf_file.elf64_file ->
  Memory_image.symbol_reference_and_reloc_site list