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/Memory_image_orderings/index.html
Module Memory_image_orderings
Source
Source
val elfFileFeatureCompare :
Memory_image.elf_file_feature ->
Memory_image.elf_file_feature ->
int
Source
val elfFileFeatureTagEquiv :
Memory_image.elf_file_feature ->
Memory_image.elf_file_feature ->
bool
Source
val instance_Basic_classes_Ord_Memory_image_elf_file_feature_dict :
Memory_image.elf_file_feature Lem_basic_classes.ord_class
Source
val tagCompare :
'a Lem_basic_classes.ord_class ->
'a Memory_image.range_tag ->
'a Memory_image.range_tag ->
int
Source
val instance_Basic_classes_Ord_Memory_image_range_tag_dict :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Memory_image.range_tag Lem_basic_classes.ord_class
Source
val tagEquiv :
'a Abi_classes.abiFeatureTagEquiv_class ->
'a Memory_image.range_tag ->
'a Memory_image.range_tag ->
bool
Source
val unique_tag_matching :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
'abifeature Memory_image.range_tag ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.range_tag
Source
val tagged_ranges_matching_tag :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
'abifeature Memory_image.range_tag ->
'abifeature Memory_image.annotated_memory_image ->
('abifeature Memory_image.range_tag * Memory_image.element_range option) list
Source
val element_range_compare :
(string * (Nat_big_num.num * Nat_big_num.num)) ->
(string * (Nat_big_num.num * Nat_big_num.num)) ->
int
Source
val unique_tag_matching_at_range_exact :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
Memory_image.element_range option ->
'abifeature Memory_image.range_tag ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.range_tag
Source
val symbol_def_ranges :
'abifeature Lem_basic_classes.ord_class ->
'abifeature Abi_classes.abiFeatureTagEquiv_class ->
'abifeature Memory_image.annotated_memory_image ->
'abifeature Memory_image.range_tag list
* Memory_image.element_range option list
Source
val defined_symbols_and_ranges :
'a Lem_basic_classes.ord_class ->
'a Abi_classes.abiFeatureTagEquiv_class ->
'a Memory_image.annotated_memory_image ->
(Memory_image.element_range option * Memory_image.symbol_definition) list
Source
val make_ranges_definite :
Memory_image.element_range option list ->
(string * Memory_image.range) list
Source
val find_defs_matching :
Memory_image.symbol_definition ->
(Memory_image.element_range option * Memory_image.symbol_definition) list ->
(Memory_image.element_range option * Memory_image.symbol_definition) list
Source
val defined_symbols :
'a Lem_basic_classes.ord_class ->
'a Abi_classes.abiFeatureTagEquiv_class ->
'a Memory_image.annotated_memory_image ->
Memory_image.symbol_definition list
Source
val default_get_reloc_symaddr :
'a ->
'b ->
Memory_image.symbol_definition ->
'c Memory_image.annotated_memory_image ->
(Memory_image.element_range option * Memory_image.symbol_definition) list ->
'd ->
Nat_big_num.num
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>