package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val concatS' : string list -> string -> string
val concatS : string list -> string
val harness_string_of_elf32_file_header : Elf_header.elf32_header -> string
val harness_string_of_elf64_file_header : Elf_header.elf64_header -> string
val harness_string_of_elf32_program_header_table_entry : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Byte_sequence_wrapper.byte_sequence -> Elf_program_header_table.elf32_program_header_table_entry -> string
val harness_string_of_elf64_program_header_table_entry : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Byte_sequence_wrapper.byte_sequence -> Elf_program_header_table.elf64_program_header_table_entry -> string
val harness_string_of_elf32_pht : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Elf_program_header_table.elf32_program_header_table_entry list -> Byte_sequence_wrapper.byte_sequence -> string
val harness_string_of_elf64_pht : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Elf_program_header_table.elf64_program_header_table_entry list -> Byte_sequence_wrapper.byte_sequence -> string
val harness_sht32_flag_legend : string
val harness_sht64_flag_legend : Nat_big_num.num -> string
val harness_string_of_elf32_sht : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Elf_section_header_table.elf32_section_header_table_entry list -> String_table.string_table -> string
val harness_string_of_elf64_sht : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Elf_section_header_table.elf64_section_header_table_entry list -> String_table.string_table -> string
val harness_string_of_elf32_section_headers : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Elf_header.elf32_header -> Elf_section_header_table.elf32_section_header_table_entry list -> String_table.string_table -> string
val harness_string_of_elf64_section_headers : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Elf_header.elf64_header -> Elf_section_header_table.elf64_section_header_table_entry list -> String_table.string_table -> string
val harness_string_of_elf32_relocs : Elf_file.elf32_file -> (Nat_big_num.num -> string) -> Byte_sequence_wrapper.byte_sequence -> string
val harness_string_of_elf64_relocs : Elf_file.elf64_file -> (Nat_big_num.num -> string) -> Byte_sequence_wrapper.byte_sequence -> string
val harness_string_of_elf32_symbol_table_entry : int -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> 'a -> String_table.string_table -> Elf_symbol_table.elf32_symbol_table_entry -> string
val harness_string_of_elf32_syms : Elf_file.elf32_file -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Byte_sequence_wrapper.byte_sequence -> string
val harness_string_of_elf64_symbol_table_entry : int -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> String_table.string_table -> Elf_symbol_table.elf64_symbol_table_entry -> string
val harness_string_of_elf64_syms : Elf_file.elf64_file -> (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Byte_sequence_wrapper.byte_sequence -> string
val string_of_dyn_value : ('a, 'b) Elf_dynamic.dyn_value -> ('c -> string) -> ('d -> string) -> string
val string_of_elf32_dyn_value : (Uint32_wrapper.uint32, Nat_big_num.num) Elf_dynamic.dyn_value -> string
val string_of_elf64_dyn_value : (Nat_big_num.num, Nat_big_num.num) Elf_dynamic.dyn_value -> string
OCaml

Innovation. Community. Security.