package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type executable_process_image =
  1. | ELF_Class_32 of Elf_file.elf32_executable_process_image
  2. | ELF_Class_64 of Elf_file.elf64_executable_process_image
val string_of_segment_provenance : Elf_file.segment_provenance -> string
val string_of_executable_process_image : executable_process_image -> string
val populate : string -> executable_process_image Error.error
val obtain_global_symbol_init_info : string -> (string * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Byte_sequence.byte_sequence0 option * Nat_big_num.num)) list Error.error
val populate_and_obtain_global_symbol_init_info : string -> (Elf_file.elf_file * executable_process_image * (string * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Byte_sequence.byte_sequence0 option * Nat_big_num.num)) list) Error.error
OCaml

Innovation. Community. Security.