linksem 0.7 · OCaml Package

type elf_memory_image =
  Abis.any_abi_feature Memory_image.annotated_memory_image

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

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)

val empty_elf_memory_image : 
  Abis.any_abi_feature Memory_image.annotated_memory_image

type elf_range_tag = Abis.any_abi_feature Memory_image.range_tag

val null_section_header_table : Memory_image.elf_file_feature

val null_program_header_table : Memory_image.elf_file_feature

val null_elf_header : Elf_header.elf64_header

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

val gensym : string -> string

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

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

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

val definitions_pred : Elf_symbol_table.elf64_symbol_table_entry -> bool

val references_pred : Elf_symbol_table.elf64_symbol_table_entry -> bool

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

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

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

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

package linksem