Module `Elf_memory_image_of_elf64_file`Source

Sourceval 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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval name_of_symbol_def0 : Memory_image.symbol_definition -> string

Source

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

Source

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

Source

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

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/linksem_zarith/Elf_memory_image_of_elf64_file/index.html

Module `Elf_memory_image_of_elf64_file`Source

package linksem

Install

Dune Dependency

Authors

Maintainers

Sources

doc/linksem_zarith/Elf_memory_image_of_elf64_file/index.html

Module Elf_memory_image_of_elf64_fileSource

Module `Elf_memory_image_of_elf64_file`Source