package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type elf32_file = {
  1. elf32_file_header : Elf_header.elf32_header;
  2. elf32_file_program_header_table : Elf_program_header_table.elf32_program_header_table;
  3. elf32_file_section_header_table : Elf_section_header_table.elf32_section_header_table;
  4. elf32_file_interpreted_segments : Elf_interpreted_segment.elf32_interpreted_segments;
  5. elf32_file_interpreted_sections : Elf_interpreted_section.elf32_interpreted_sections;
  6. elf32_file_bits_and_bobs : (Nat_big_num.num * Byte_sequence.byte_sequence0) list;
}
type elf64_file = {
  1. elf64_file_header : Elf_header.elf64_header;
  2. elf64_file_program_header_table : Elf_program_header_table.elf64_program_header_table;
  3. elf64_file_section_header_table : Elf_section_header_table.elf64_section_header_table;
  4. elf64_file_interpreted_segments : Elf_interpreted_segment.elf64_interpreted_segments;
  5. elf64_file_interpreted_sections : Elf_interpreted_section.elf64_interpreted_sections;
  6. elf64_file_bits_and_bobs : (Nat_big_num.num * Byte_sequence.byte_sequence0) list;
}
type elf_file =
  1. | ELF_File_32 of elf32_file
  2. | ELF_File_64 of elf64_file
val find_first_not_in_range : Nat_big_num.num -> (Nat_big_num.num * Nat_big_num.num) list -> Nat_big_num.num
val find_first_in_range : Nat_big_num.num -> (Nat_big_num.num * Nat_big_num.num) list -> Nat_big_num.num
val get_elf32_file_section_header_string_table : elf32_file -> String_table.string_table Error.error
val get_elf64_file_section_header_string_table : elf64_file -> String_table.string_table Error.error
val get_elf32_file_symbol_string_table : elf32_file -> String_table.string_table Error.error
val get_elf64_file_symbol_string_table : elf64_file -> String_table.string_table Error.error
val get_elf32_string_table_by_index : elf32_file -> Nat_big_num.num -> String_table.string_table Error.error
val get_elf64_string_table_by_index : elf64_file -> Nat_big_num.num -> String_table.string_table Error.error
val get_elf32_file_symbol_table : elf32_file -> Elf_symbol_table.elf32_symbol_table_entry list Error.error
val get_elf32_file_dynamic_symbol_table : elf32_file -> Elf_symbol_table.elf32_symbol_table_entry list Error.error
val get_elf64_file_dynamic_symbol_table : elf64_file -> Elf_symbol_table.elf64_symbol_table_entry list Error.error
type segment_provenance =
  1. | FromELF
  2. | AutoGenerated
type global_symbol_init_info = (string * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Byte_sequence.byte_sequence0 option * Nat_big_num.num)) list
val get_elf32_file_global_symbol_init : elf32_file -> (string * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence option * Nat_big_num.num)) list Error.error
val get_elf64_file_global_symbol_init : elf64_file -> (string * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Byte_sequence_wrapper.byte_sequence option * Nat_big_num.num)) list Error.error
val string_of_elf32_file : ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> ((Nat_big_num.num -> string) * (Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> elf32_file -> string
val string_of_elf64_file : ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> ((Nat_big_num.num -> string) * (Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> elf64_file -> string
val flag_is_set : Nat_big_num.num -> Nat_big_num.num -> bool
OCaml

Innovation. Community. Security.