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/Load/index.html
Module Load
Source
Source
val get_section_at_addr :
Elf_file.elf64_file ->
Nat_big_num.num ->
Elf_interpreted_section.elf64_interpreted_section option
Source
type dynamic_symbol = {
dynamic_symbol_name : string;
dynamic_symbol_entry : Elf_symbol_table.elf64_symbol_table_entry;
dynamic_symbol_value : Nat_big_num.num;
dynamic_symbol_version : string option;
dynamic_symbol_version_base : bool;
}
Source
val apply_relocation :
'abifeature Memory_image.abi ->
Elf_file.elf64_file ->
'abifeature Memory_image.annotated_memory_image ->
Nat_big_num.num ->
Elf_relocation.elf64_relocation_a ->
Memory_image.symbol_reference_and_reloc_site ->
dynamic_symbol option ->
bool ->
'abifeature Memory_image.annotated_memory_image
Source
val get_sym_ref_version :
Nat_big_num.num ->
Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
'a ->
Nat_big_num.num ->
Nat_big_num.num ->
string option
Source
val mask_data_sections :
Elf_file.elf64_file ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.annotated_memory_image
Source
val mask_relocations :
'abifeature Memory_image.abi ->
Elf_file.elf64_file ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.annotated_memory_image
Source
val init_amd64_pltgot :
'abifeature Memory_image.annotated_memory_image ->
Nat_big_num.num ->
(Nat_big_num.num * (Nat_big_num.num, 'a) Elf_dynamic.dyn_value) list ->
'abifeature Memory_image.annotated_memory_image
Source
val apply_mips64_local_got_relocations :
Endianness.endianness ->
'abifeature Memory_image.annotated_memory_image ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
'abifeature Memory_image.annotated_memory_image * Nat_big_num.num
Source
val apply_mips64_global_got_relocations' :
'a Memory_image.abi ->
Elf_file.elf64_file ->
'a Memory_image.annotated_memory_image ->
dynamic_symbol list ->
(string * 'b * Nat_big_num.num * Nat_big_num.num) list ->
Nat_big_num.num ->
Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
bool ->
'a Memory_image.annotated_memory_image * Nat_big_num.num
Source
val apply_mips64_global_got_relocations :
'a Memory_image.abi ->
Elf_file.elf64_file ->
'a Memory_image.annotated_memory_image ->
dynamic_symbol list ->
Nat_big_num.num ->
Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
Nat_big_num.num ->
bool ->
'a Memory_image.annotated_memory_image * Nat_big_num.num
Source
val apply_mips64_got_relocations :
'a Memory_image.abi ->
Elf_file.elf64_file ->
'a Memory_image.annotated_memory_image ->
dynamic_symbol list ->
Nat_big_num.num ->
(Nat_big_num.num * (Nat_big_num.num, 'b) Elf_dynamic.dyn_value) list ->
Nat_big_num.num ->
Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
bool ->
'a Memory_image.annotated_memory_image
Source
val apply_cheri_mips64_cap_relocations :
Elf_file.elf64_file ->
'a Memory_image.annotated_memory_image ->
Nat_big_num.num ->
(Nat_big_num.num * (Nat_big_num.num, 'b) Elf_dynamic.dyn_value) list ->
bool ->
'a Memory_image.annotated_memory_image
Source
val sym_add_verdef :
dynamic_symbol ->
Gnu_ext_symbol_versioning.gnu_ext_interpreted_verdef ->
dynamic_symbol
Source
val extract_dynsyms :
Elf_file.elf64_file ->
Nat_big_num.num ->
dynamic_symbol list ->
Nat_big_num.num ->
Gnu_ext_symbol_versioning.gnu_ext_interpreted_versym_table option ->
dynamic_symbol list Error.error
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>