linksem 0.7 · OCaml Package

val stn_undef : Nat_big_num.num

val stb_local : Nat_big_num.num

val stb_global : Nat_big_num.num

val stb_weak : Nat_big_num.num

val stb_loos : Nat_big_num.num

val stb_hios : Nat_big_num.num

val stb_loproc : Nat_big_num.num

val stb_hiproc : Nat_big_num.num

val string_of_symbol_binding : 
  Nat_big_num.num ->
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  string

val stt_notype : Nat_big_num.num

val stt_object : Nat_big_num.num

val stt_func : Nat_big_num.num

val stt_section : Nat_big_num.num

val stt_file : Nat_big_num.num

val stt_common : Nat_big_num.num

val stt_tls : Nat_big_num.num

val stt_loos : Nat_big_num.num

val stt_hios : Nat_big_num.num

val stt_loproc : Nat_big_num.num

val stt_hiproc : Nat_big_num.num

val string_of_symbol_type : 
  Nat_big_num.num ->
  (Nat_big_num.num -> string) ->
  (Nat_big_num.num -> string) ->
  string

val stv_default : Nat_big_num.num

val stv_internal : Nat_big_num.num

val stv_hidden : Nat_big_num.num

val stv_protected : Nat_big_num.num

val string_of_symbol_visibility : Nat_big_num.num -> string

type elf32_symbol_table_entry = {

elf32_st_name : Uint32_wrapper.uint32;
elf32_st_value : Uint32_wrapper.uint32;
elf32_st_size : Uint32_wrapper.uint32;
elf32_st_info : Uint32_wrapper.uint32;
elf32_st_other : Uint32_wrapper.uint32;
elf32_st_shndx : Uint32_wrapper.uint32;

}

val elf32_symbol_table_entry_compare : 
  elf32_symbol_table_entry ->
  elf32_symbol_table_entry ->
  int

val instance_Basic_classes_Ord_Elf_symbol_table_elf32_symbol_table_entry_dict : 
  elf32_symbol_table_entry Lem_basic_classes.ord_class

type elf64_symbol_table_entry = {

elf64_st_name : Uint32_wrapper.uint32;
elf64_st_info : Uint32_wrapper.uint32;
elf64_st_other : Uint32_wrapper.uint32;
elf64_st_shndx : Uint32_wrapper.uint32;
elf64_st_value : Uint64_wrapper.uint64;
elf64_st_size : Uint64_wrapper.uint64;

}

val elf64_symbol_table_entry_compare : 
  elf64_symbol_table_entry ->
  elf64_symbol_table_entry ->
  int

val instance_Basic_classes_Ord_Elf_symbol_table_elf64_symbol_table_entry_dict : 
  elf64_symbol_table_entry Lem_basic_classes.ord_class

type elf32_symbol_table = elf32_symbol_table_entry list

type elf64_symbol_table = elf64_symbol_table_entry list

val extract_symbol_binding : Nat_big_num.num -> Nat_big_num.num

val extract_symbol_type : Nat_big_num.num -> Nat_big_num.num

val make_symbol_info : 
  Nat_big_num.num ->
  Nat_big_num.num ->
  Uint32_wrapper.uint32

val get_symbol_visibility : Nat_big_num.num -> Nat_big_num.num

val make_symbol_other : Nat_big_num.num -> Uint32_wrapper.uint32

val is_elf32_shndx_too_large : elf32_symbol_table_entry -> bool

val is_elf64_shndx_too_large : elf64_symbol_table_entry -> bool

val is_elf32_null_entry : elf32_symbol_table_entry -> bool

val is_elf64_null_entry : elf64_symbol_table_entry -> bool

type symtab_print_bundle =
  (Nat_big_num.num -> string) * (Nat_big_num.num -> string)

val string_of_elf32_symbol_table_entry : elf32_symbol_table_entry -> string

val string_of_elf64_symbol_table_entry : elf64_symbol_table_entry -> string

val string_of_elf32_symbol_table : elf32_symbol_table_entry list -> string

val elf64_null_symbol_table_entry : elf64_symbol_table_entry

val string_of_elf64_symbol_table : elf64_symbol_table_entry list -> string

val instance_Show_Show_Elf_symbol_table_elf32_symbol_table_entry_dict : 
  elf32_symbol_table_entry Show.show_class

val instance_Show_Show_Elf_symbol_table_elf64_symbol_table_entry_dict : 
  elf64_symbol_table_entry Show.show_class

val read_elf32_symbol_table_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_symbol_table_entry * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf32_symbol_table_entry : 
  Endianness.endianness ->
  elf32_symbol_table_entry ->
  Byte_sequence_wrapper.byte_sequence

val read_elf64_symbol_table_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_symbol_table_entry * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_symbol_table_entry : 
  Endianness.endianness ->
  elf64_symbol_table_entry ->
  Byte_sequence_wrapper.byte_sequence

val read_elf32_symbol_table : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_symbol_table_entry list Error.error

val read_elf64_symbol_table : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_symbol_table_entry list Error.error

type symbol_address_map =
  (string
   * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num))
    list

val get_elf32_symbol_image_address : 
  elf32_symbol_table_entry list ->
  String_table.string_table ->
  (string
   * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num))
    list
    Error.error

val get_elf64_symbol_image_address : 
  elf64_symbol_table_entry list ->
  String_table.string_table ->
  (string
   * (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num * Nat_big_num.num))
    list
    Error.error

val get_elf32_symbol_type : elf32_symbol_table_entry -> Nat_big_num.num

val get_elf64_symbol_type : elf64_symbol_table_entry -> Nat_big_num.num

val get_elf32_symbol_binding : elf32_symbol_table_entry -> Nat_big_num.num

val get_elf64_symbol_binding : elf64_symbol_table_entry -> Nat_big_num.num

package linksem