linksem 0.8 · OCaml Package

val section_name_is_unique : string -> Elf_file.elf64_file -> bool

val create_unique_name_for_section_from_index : 
  'a ->
  Elf_interpreted_section.elf64_interpreted_section ->
  Elf_file.elf64_file ->
  string

val create_unique_name_for_common_symbol_from_linkable_name : 
  string ->
  'a ->
  string ->
  'b ->
  string

val get_unique_name_for_common_symbol_from_linkable_name : 
  string ->
  'a ->
  string ->
  string

val elf_memory_image_of_elf64_file : 
  'a Memory_image.abi ->
  string ->
  Elf_file.elf64_file ->
  Abis.any_abi_feature Memory_image.annotated_memory_image

val elf_memory_image_header : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Elf_header.elf64_header

val elf_memory_image_sht : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Elf_section_header_table.elf64_section_header_table_entry list option

val elf_memory_image_section_ranges : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Abis.any_abi_feature Memory_image.range_tag list
  * Memory_image.element_range list

val elf_memory_image_section_by_index : 
  Nat_big_num.num ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Elf_interpreted_section.elf64_interpreted_section option

val elf_memory_image_element_coextensive_with_section : 
  Nat_big_num.num ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  string option

val name_of_elf_interpreted_section : 
  Elf_interpreted_section.elf64_interpreted_section ->
  Elf_interpreted_section.elf64_interpreted_section ->
  string option

val elf_memory_image_sections_with_indices : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  (Elf_interpreted_section.elf64_interpreted_section * Nat_big_num.num) list

val elf_memory_image_sections : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Elf_interpreted_section.elf64_interpreted_section list

val elf_memory_image_sections_with_name : 
  string ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Elf_interpreted_section.elf64_interpreted_section list

val elf_memory_image_symbol_def_ranges : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Abis.any_abi_feature Memory_image.range_tag list
  * Memory_image.element_range option list

val name_of_symbol_def0 : Memory_image.symbol_definition -> string

val elf_memory_image_defined_symbols_and_ranges : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  (Memory_image.element_range option * Memory_image.symbol_definition) list

val elf_memory_image_defined_symbols : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Memory_image.symbol_definition list

val name_of_elf_section : 
  Elf_interpreted_section.elf64_interpreted_section ->
  'a ->
  string option

val name_of_elf_element : Memory_image.elf_file_feature -> 'a -> string option

val get_unique_name_for_section_from_index : 
  Nat_big_num.num ->
  'a ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  string

package linksem