package linksem

  1. Overview
  2. Docs
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_fileSource

Sourceval section_name_is_unique : string -> Elf_file.elf64_file -> bool
Sourceval create_unique_name_for_section_from_index : 'a -> Elf_interpreted_section.elf64_interpreted_section -> Elf_file.elf64_file -> string
Sourceval create_unique_name_for_common_symbol_from_linkable_name : string -> 'a -> string -> 'b -> string
Sourceval get_unique_name_for_common_symbol_from_linkable_name : string -> 'a -> string -> string
Sourceval elf_memory_image_element_coextensive_with_section : Nat_big_num.num -> Abis.any_abi_feature Memory_image.annotated_memory_image -> string option
Sourceval 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
Sourceval name_of_symbol_def0 : Memory_image.symbol_definition -> string
Sourceval 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
Sourceval get_unique_name_for_section_from_index : Nat_big_num.num -> 'a -> Abis.any_abi_feature Memory_image.annotated_memory_image -> string
OCaml

Innovation. Community. Security.