linksem 0.7 · OCaml Package

type elf32_file = {

elf32_file_header : Elf_header.elf32_header;
elf32_file_program_header_table : Elf_program_header_table.elf32_program_header_table;
elf32_file_section_header_table : Elf_section_header_table.elf32_section_header_table;
elf32_file_interpreted_segments : Elf_interpreted_segment.elf32_interpreted_segments;
elf32_file_interpreted_sections : Elf_interpreted_section.elf32_interpreted_sections;
elf32_file_bits_and_bobs : (Nat_big_num.num * Byte_sequence.byte_sequence0) list;

}

val bytes_of_elf32_file : 
  elf32_file ->
  Byte_sequence_wrapper.byte_sequence Error.error

type elf64_file = {

elf64_file_header : Elf_header.elf64_header;
elf64_file_program_header_table : Elf_program_header_table.elf64_program_header_table;
elf64_file_section_header_table : Elf_section_header_table.elf64_section_header_table;
elf64_file_interpreted_segments : Elf_interpreted_segment.elf64_interpreted_segments;
elf64_file_interpreted_sections : Elf_interpreted_section.elf64_interpreted_sections;
elf64_file_bits_and_bobs : (Nat_big_num.num * Byte_sequence.byte_sequence0) list;

}

type elf_file =

| ELF_File_32 of elf32_file
| ELF_File_64 of elf64_file

val bytes_of_elf64_file : 
  elf64_file ->
  Byte_sequence_wrapper.byte_sequence Error.error

val obtain_elf32_program_header_table : 
  Elf_header.elf32_header ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_program_header_table.elf32_program_header_table_entry list Error.error

val obtain_elf64_program_header_table : 
  Elf_header.elf64_header ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_program_header_table.elf64_program_header_table_entry list Error.error

val obtain_elf32_section_header_table : 
  Elf_header.elf32_header ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_section_header_table.elf32_section_header_table_entry list Error.error

val obtain_elf64_section_header_table : 
  Elf_header.elf64_header ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_section_header_table.elf64_section_header_table_entry list Error.error

val obtain_elf32_section_header_string_table : 
  Elf_header.elf32_header ->
  Elf_section_header_table.elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  String_table.string_table option Error.error

val obtain_elf64_section_header_string_table : 
  Elf_header.elf64_header ->
  Elf_section_header_table.elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  String_table.string_table option Error.error

val obtain_elf32_interpreted_segments : 
  Elf_program_header_table.elf32_program_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_interpreted_segment.elf32_interpreted_segment list Error.error

val obtain_elf64_interpreted_segments : 
  Elf_program_header_table.elf64_program_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_interpreted_segment.elf64_interpreted_segment list Error.error

val obtain_elf32_interpreted_sections : 
  String_table.string_table option ->
  Elf_section_header_table.elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_interpreted_section.elf32_interpreted_section list Error.error

val obtain_elf64_interpreted_sections : 
  String_table.string_table option ->
  Elf_section_header_table.elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  Elf_interpreted_section.elf64_interpreted_section list Error.error

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 compute_differences : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  (Nat_big_num.num * Nat_big_num.num) list ->
  (Nat_big_num.num * Nat_big_num.num) list Error.error

val obtain_elf32_bits_and_bobs : 
  Elf_header.elf32_header ->
  Elf_program_header_table.elf32_program_header_table_entry list ->
  Elf_interpreted_segment.elf32_interpreted_segment list ->
  Elf_section_header_table.elf32_section_header_table_entry list ->
  Elf_interpreted_section.elf32_interpreted_section list ->
  Byte_sequence_wrapper.byte_sequence ->
  (Nat_big_num.num * Byte_sequence_wrapper.byte_sequence) list Error.error

val obtain_elf64_bits_and_bobs : 
  Elf_header.elf64_header ->
  Elf_program_header_table.elf64_program_header_table_entry list ->
  Elf_interpreted_segment.elf64_interpreted_segment list ->
  Elf_section_header_table.elf64_section_header_table_entry list ->
  Elf_interpreted_section.elf64_interpreted_section list ->
  Byte_sequence_wrapper.byte_sequence ->
  (Nat_big_num.num * Byte_sequence_wrapper.byte_sequence) list Error.error

val read_elf32_file : 
  Byte_sequence_wrapper.byte_sequence ->
  elf32_file Error.error

val read_elf64_file : 
  Byte_sequence_wrapper.byte_sequence ->
  elf64_file Error.error

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 find_elf32_symbols_by_symtab_idx : 
  Nat_big_num.num ->
  elf32_file ->
  (Elf_symbol_table.elf32_symbol_table_entry list
   * String_table.string_table
   * Nat_big_num.num)
    Error.error

val find_elf32_symtab_by_type : 
  Nat_big_num.num ->
  elf32_file ->
  (Elf_symbol_table.elf32_symbol_table
   * String_table.string_table
   * Nat_big_num.num)
    Error.error

val find_elf64_symbols_by_symtab_idx : 
  Nat_big_num.num ->
  elf64_file ->
  (Elf_symbol_table.elf64_symbol_table_entry list
   * String_table.string_table
   * Nat_big_num.num)
    Error.error

val find_elf64_symtab_by_type : 
  Nat_big_num.num ->
  elf64_file ->
  (Elf_symbol_table.elf64_symbol_table
   * String_table.string_table
   * Nat_big_num.num)
    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_elf64_file_symbol_table : 
  elf64_file ->
  (Elf_symbol_table.elf64_symbol_table_entry list * String_table.string_table)
    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

val get_elf32_symbol_table_by_index : 
  elf32_file ->
  Nat_big_num.num ->
  Elf_symbol_table.elf32_symbol_table Error.error

val get_elf64_symbol_table_by_index : 
  elf64_file ->
  Nat_big_num.num ->
  Elf_symbol_table.elf64_symbol_table Error.error

type segment_provenance =

| FromELF
| AutoGenerated

type elf32_executable_process_image =
  (Elf_interpreted_segment.elf32_interpreted_segment * segment_provenance) list
  * Nat_big_num.num
  * Nat_big_num.num

type elf64_executable_process_image =
  (Elf_interpreted_segment.elf64_interpreted_segment * segment_provenance) list
  * Nat_big_num.num
  * Nat_big_num.num

val get_elf32_executable_image : 
  elf32_file ->
  ((Elf_interpreted_segment.elf32_interpreted_segment * segment_provenance)
     list
   * Nat_big_num.num
   * Nat_big_num.num)
    Error.error

val get_elf64_executable_image : 
  elf64_file ->
  ((Elf_interpreted_segment.elf64_interpreted_segment * segment_provenance)
     list
   * Nat_big_num.num
   * Nat_big_num.num)
    Error.error

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

package linksem