package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val show_section_at_addr : Elf_file.elf64_file -> Nat_big_num.num -> string
type 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;
}
val find_sym : dynamic_symbol list -> string -> string option -> dynamic_symbol option
val is_unsupported_relocation_type : Elf_file.elf64_file -> Nat_big_num.num -> bool
val mask_relocations : 'abifeature Memory_image.abi -> Elf_file.elf64_file -> 'abifeature0 Memory_image.annotated_memory_image -> 'abifeature0 Memory_image.annotated_memory_image
val amd64_address_size : Nat_big_num.num
val mips64_address_size : Nat_big_num.num
OCaml

Innovation. Community. Security.