package linksem
A formalisation of the core ELF and DWARF file formats written in Lem
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.tar.gz
md5=2075c56715539b3b8f54ae65cc808b8c
sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2
doc/linksem_zarith/Elf_memory_image_of_elf64_file/index.html
Module Elf_memory_image_of_elf64_file
Source
Source
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 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
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
Source
val get_unique_name_for_section_from_index :
Nat_big_num.num ->
'a ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>