package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
val elf_pt_null : Nat_big_num.num
val elf_pt_load : Nat_big_num.num
val elf_pt_dynamic : Nat_big_num.num
val elf_pt_interp : Nat_big_num.num
val elf_pt_note : Nat_big_num.num
val elf_pt_shlib : Nat_big_num.num
val elf_pt_phdr : Nat_big_num.num
val elf_pt_tls : Nat_big_num.num
val elf_pt_loos : Nat_big_num.num
val elf_pt_hios : Nat_big_num.num
val elf_pt_loproc : Nat_big_num.num
val elf_pt_hiproc : Nat_big_num.num
val string_of_segment_type : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> Nat_big_num.num -> string
val elf_pf_x : Nat_big_num.num
val elf_pf_w : Nat_big_num.num
val elf_pf_r : Nat_big_num.num
val elf_pf_maskos : Nat_big_num.num
val elf_pf_maskproc : Nat_big_num.num
val exact_permissions_of_permission : Nat_big_num.num -> Nat_big_num.num Error.error
val allowable_permissions_of_permission : Nat_big_num.num -> Nat_big_num.num Error.error
val parse_elf_segment_permissions : Nat_big_num.num -> bool * bool * bool
val string_of_elf_segment_permissions : Nat_big_num.num -> string
type elf32_program_header_table_entry = {
  1. elf32_p_type : Uint32_wrapper.uint32;
  2. elf32_p_offset : Uint32_wrapper.uint32;
  3. elf32_p_vaddr : Uint32_wrapper.uint32;
  4. elf32_p_paddr : Uint32_wrapper.uint32;
  5. elf32_p_filesz : Uint32_wrapper.uint32;
  6. elf32_p_memsz : Uint32_wrapper.uint32;
  7. elf32_p_flags : Uint32_wrapper.uint32;
  8. elf32_p_align : Uint32_wrapper.uint32;
}
val compare_elf32_program_header_table_entry : elf32_program_header_table_entry -> elf32_program_header_table_entry -> int
val instance_Basic_classes_Ord_Elf_program_header_table_elf32_program_header_table_entry_dict : elf32_program_header_table_entry Lem_basic_classes.ord_class
type elf64_program_header_table_entry = {
  1. elf64_p_type : Uint32_wrapper.uint32;
  2. elf64_p_flags : Uint32_wrapper.uint32;
  3. elf64_p_offset : Uint64_wrapper.uint64;
  4. elf64_p_vaddr : Uint64_wrapper.uint64;
  5. elf64_p_paddr : Uint64_wrapper.uint64;
  6. elf64_p_filesz : Uint64_wrapper.uint64;
  7. elf64_p_memsz : Uint64_wrapper.uint64;
  8. elf64_p_align : Uint64_wrapper.uint64;
}
val compare_elf64_program_header_table_entry : elf64_program_header_table_entry -> elf64_program_header_table_entry -> int
val instance_Basic_classes_Ord_Elf_program_header_table_elf64_program_header_table_entry_dict : elf64_program_header_table_entry Lem_basic_classes.ord_class
val string_of_elf32_program_header_table_entry : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> elf32_program_header_table_entry -> string
val string_of_elf64_program_header_table_entry : (Nat_big_num.num -> string) -> (Nat_big_num.num -> string) -> elf64_program_header_table_entry -> string
val string_of_elf32_program_header_table_entry_default : elf32_program_header_table_entry -> string
val string_of_elf64_program_header_table_entry_default : elf64_program_header_table_entry -> string
val instance_Show_Show_Elf_program_header_table_elf32_program_header_table_entry_dict : elf32_program_header_table_entry Show.show_class
val instance_Show_Show_Elf_program_header_table_elf64_program_header_table_entry_dict : elf64_program_header_table_entry Show.show_class
val bytes_of_elf32_program_header_table_entry : Endianness.endianness -> elf32_program_header_table_entry -> Byte_sequence_wrapper.byte_sequence
val bytes_of_elf64_program_header_table_entry : Endianness.endianness -> elf64_program_header_table_entry -> Byte_sequence_wrapper.byte_sequence
val read_elf32_program_header_table_entry : Endianness.endianness -> Byte_sequence_wrapper.byte_sequence -> (elf32_program_header_table_entry * Byte_sequence_wrapper.byte_sequence) Error.error
val read_elf64_program_header_table_entry : Endianness.endianness -> Byte_sequence_wrapper.byte_sequence -> (elf64_program_header_table_entry * Byte_sequence_wrapper.byte_sequence) Error.error
type elf32_program_header_table = elf32_program_header_table_entry list
type elf64_program_header_table = elf64_program_header_table_entry list
type pht_print_bundle = (Nat_big_num.num -> string) * (Nat_big_num.num -> string)
val string_of_elf32_program_header_table : ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> elf32_program_header_table_entry list -> string
val string_of_elf64_program_header_table : ((Nat_big_num.num -> string) * (Nat_big_num.num -> string)) -> elf64_program_header_table_entry list -> string
val get_elf32_dynamic_linked : elf32_program_header_table_entry list -> bool
val get_elf64_dynamic_linked : elf64_program_header_table_entry list -> bool
val get_elf32_static_linked : elf32_program_header_table_entry list -> bool
val get_elf64_static_linked : elf64_program_header_table_entry list -> bool
val get_elf32_requested_interpreter : elf32_program_header_table_entry -> Byte_sequence_wrapper.byte_sequence -> string Error.error
val get_elf64_requested_interpreter : elf64_program_header_table_entry -> Byte_sequence_wrapper.byte_sequence -> string Error.error