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/Load/index.html

Module LoadSource

Sourceval get_section_at_addr : Elf_file.elf64_file -> Nat_big_num.num -> Elf_interpreted_section.elf64_interpreted_section option
Sourceval show_section_at_addr : Elf_file.elf64_file -> Nat_big_num.num -> string
Sourcetype dynamic_symbol = {
  1. dynamic_symbol_name : string;
  2. dynamic_symbol_entry : Elf_symbol_table.elf64_symbol_table_entry;
  3. dynamic_symbol_value : Nat_big_num.num;
  4. dynamic_symbol_version : string option;
  5. dynamic_symbol_version_base : bool;
}
Sourceval find_sym : dynamic_symbol list -> string -> string option -> dynamic_symbol option
Sourceval is_unsupported_relocation_type : Elf_file.elf64_file -> Nat_big_num.num -> bool
Sourceval 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
Sourceval amd64_address_size : Nat_big_num.num
Sourceval 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
Sourceval mips64_address_size : Nat_big_num.num
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
OCaml

Innovation. Community. Security.