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/Link/index.html
Module LinkSource
Source
val all_common_symbols :
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Memory_image.symbol_definition listSource
val retrieve_binding_for_ref :
'b Lem_basic_classes.eq_class ->
Memory_image.symbol_reference_and_reloc_site ->
'b ->
'a ->
(string, ('e * (('b * Memory_image.symbol_reference * 'd) * 'c)) list)
Pmap.map ->
('b * Memory_image.symbol_reference * 'd) * 'cSource
type reloc_site_resolution =
Memory_image.reloc_site * Linkable_list.binding * Memory_image.reloc_decisionSource
val mark_fate_of_relocs :
Nat_big_num.num ->
'a Memory_image.abi ->
Command_line.link_option Pset.set ->
(string,
('b
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
'c ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
(Memory_image.reloc_site
* ((Nat_big_num.num
* Memory_image.symbol_reference
* (Linkable_list.linkable_object
* Input_list.input_item
* Input_list.input_options))
* (Nat_big_num.num
* Memory_image.symbol_definition
* (Linkable_list.linkable_object
* Input_list.input_item
* Input_list.input_options))
option)
* Memory_image.reloc_decision)
list
* Abis.any_abi_feature Memory_image.annotated_memory_imageSource
val strip_metadata_sections :
(Memory_image.reloc_site * 'a * Memory_image.reloc_decision) list ->
Abis.any_abi_feature Memory_image.abi ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Abis.any_abi_feature Memory_image.annotated_memory_imageSource
val expand_sections_for_one_image :
Abis.any_abi_feature Memory_image.abi ->
Command_line.link_option Pset.set ->
(string,
('a
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
Nat_big_num.num ->
(Linkable_list.linkable_object
* (string * 'b * ('c * Input_list.origin_coord list))
* 'd) ->
bool ->
(Memory_image.reloc_site
* Linkable_list.binding
* Memory_image.reloc_decision)
list
* Abis.any_abi_feature Memory_image.annotated_memory_image
* Linker_script.input_spec listSource
type reloc_resolution =
Memory_image.reloc_site * Linkable_list.binding * Memory_image.reloc_decisionSource
val default_merge_generated :
Abis.any_abi_feature Memory_image.abi ->
Elf_memory_image.elf_memory_image ->
Linker_script.input_spec list list ->
Linker_script.input_spec list listSource
val expand_sections_for_all_inputs :
Abis.any_abi_feature Memory_image.abi ->
Command_line.link_option Pset.set ->
(string,
('a
* ((Nat_big_num.num
* Memory_image.symbol_reference
* Linkable_list.linkable_item)
* (Nat_big_num.num
* Memory_image.symbol_definition
* Linkable_list.linkable_item)
option))
list)
Pmap.map ->
(Abis.any_abi_feature Memory_image.abi ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Linker_script.input_spec list list ->
Linker_script.input_spec list list) ->
(Nat_big_num.num
* (Linkable_list.linkable_object
* (string * 'b * ('c * Input_list.origin_coord list))
* 'd))
list ->
((Memory_image.reloc_site
* Linkable_list.binding
* Memory_image.reloc_decision)
list
* Abis.any_abi_feature Memory_image.annotated_memory_image
* Linker_script.input_spec list)
listSource
val relocate_output_image :
Abis.any_abi_feature Memory_image.abi ->
'a ->
Abis.any_abi_feature Memory_image.annotated_memory_image ->
Abis.any_abi_feature Memory_image.annotated_memory_imageSource
val link :
(Linker_script.address_expr_fn_ref,
Nat_big_num.num ->
Linker_script.allocated_sections_map ->
Nat_big_num.num)
Pmap.map ->
Linker_script.script_element list ->
Abis.any_abi_feature Memory_image.abi ->
Command_line.link_option Pset.set ->
Linkable_list.linkable_item list ->
Abis.any_abi_feature Memory_image.annotated_memory_image