linksem 0.7 · OCaml Package

type elf32_note = {

elf32_note_namesz : Uint32_wrapper.uint32;
elf32_note_descsz : Uint32_wrapper.uint32;
elf32_note_type : Uint32_wrapper.uint32;
elf32_note_name : Byte_sequence.byte_sequence0;
elf32_note_desc : Byte_sequence.byte_sequence0;

}

type elf64_note = {

elf64_note_namesz : Uint32_wrapper.uint32;
elf64_note_descsz : Uint32_wrapper.uint32;
elf64_note_type : Uint32_wrapper.uint32;
elf64_note_name : Byte_sequence.byte_sequence0;
elf64_note_desc : Byte_sequence.byte_sequence0;

}

val nt_prstatus : Nat_big_num.num

val nt_fpregset : Nat_big_num.num

val nt_prpsinfo : Nat_big_num.num

val nt_prxreg : Nat_big_num.num

val nt_taskstruct : Nat_big_num.num

val nt_platform : Nat_big_num.num

val nt_auxv : Nat_big_num.num

val nt_gwindows : Nat_big_num.num

val nt_asrs : Nat_big_num.num

val nt_pstatus : Nat_big_num.num

val nt_psinfo : Nat_big_num.num

val nt_prcred : Nat_big_num.num

val nt_utsname : Nat_big_num.num

val nt_lwpstatus : Nat_big_num.num

val nt_lwpsinfo : Nat_big_num.num

val nt_prfpxreg : Nat_big_num.num

val nt_siginfo : Nat_big_num.num

val nt_file : Nat_big_num.num

val nt_prxfpreg : Nat_big_num.num

val nt_ppc_vmx : Nat_big_num.num

val nt_ppc_spe : Nat_big_num.num

val nt_ppc_vsx : Nat_big_num.num

val nt_ppc_tar : Nat_big_num.num

val nt_ppc_ppr : Nat_big_num.num

val nt_ppc_dscr : Nat_big_num.num

val nt_ppc_ebb : Nat_big_num.num

val nt_ppc_pmu : Nat_big_num.num

val nt_ppc_tm_cgpr : Nat_big_num.num

val nt_ppc_tm_cfpr : Nat_big_num.num

val nt_ppc_tm_cvmx : Nat_big_num.num

val nt_ppc_tm_cvsx : Nat_big_num.num

val nt_ppc_tm_spr : Nat_big_num.num

val nt_ppc_tm_ctar : Nat_big_num.num

val nt_ppc_tm_cppr : Nat_big_num.num

val nt_ppc_tm_cdscr : Nat_big_num.num

val nt_386_tls : Nat_big_num.num

val nt_386_ioperm : Nat_big_num.num

val nt_x86_xstate : Nat_big_num.num

val nt_s390_high_gprs : Nat_big_num.num

val nt_s390_timer : Nat_big_num.num

val nt_s390_todcmp : Nat_big_num.num

val nt_s390_todpreg : Nat_big_num.num

val nt_s390_ctrs : Nat_big_num.num

val nt_s390_prefix : Nat_big_num.num

val nt_s390_last_break : Nat_big_num.num

val nt_s390_system_call : Nat_big_num.num

val nt_s390_tdb : Nat_big_num.num

val nt_arm_vfp : Nat_big_num.num

val nt_arm_tls : Nat_big_num.num

val nt_arm_hw_break : Nat_big_num.num

val nt_arm_hw_watch : Nat_big_num.num

val nt_arm_system_call : Nat_big_num.num

val nt_arm_sve : Nat_big_num.num

val nt_version : Nat_big_num.num

val nt_procstat_proc : Nat_big_num.num

val nt_procstat_files : Nat_big_num.num

val nt_procstat_vmmap : Nat_big_num.num

val nt_procstat_groups : Nat_big_num.num

val nt_procstat_umask : Nat_big_num.num

val nt_procstat_rlimit : Nat_big_num.num

val nt_procstat_osrel : Nat_big_num.num

val nt_procstat_psstrings : Nat_big_num.num

val nt_procstat_auxv : Nat_big_num.num

type elf64_nt_file_entry = {

elf64_nt_file_entry_start : Uint64_wrapper.uint64;
elf64_nt_file_entry_end : Uint64_wrapper.uint64;
elf64_nt_file_entry_offset : Uint64_wrapper.uint64;
elf64_nt_file_entry_filename : string;

}

type elf64_nt_file = {

elf64_nt_file_count : Uint64_wrapper.uint64;
elf64_nt_file_page_size : Uint64_wrapper.uint64;
elf64_nt_file_entries : elf64_nt_file_entry list;

}

type elf64_nt_procstat_vmentry = {

elf64_nt_procstat_vmentry_type : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_start : Uint64_wrapper.uint64;
elf64_nt_procstat_vmentry_end : Uint64_wrapper.uint64;
elf64_nt_procstat_vmentry_offset : Uint64_wrapper.uint64;
elf64_nt_procstat_vmentry_vn_fileid : Uint64_wrapper.uint64;
elf64_nt_procstat_vmentry_vn_fsid : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_flags : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_resident : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_protection : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_ref_count : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_shadow_count : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_vn_type : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_vn_size : Uint64_wrapper.uint64;
elf64_nt_procstat_vmentry_vn_rdev : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_vn_mode : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_status : Uint32_wrapper.uint32;
elf64_nt_procstat_vmentry_path : string;

}

val note_align : Nat_big_num.num -> Nat_big_num.num

val read_elf32_note : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf32_note * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_note : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_note * Byte_sequence_wrapper.byte_sequence) Error.error

val read_all_elf32_notes : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_note list Error.error

val read_all_elf64_notes : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_note list Error.error

val obtain_elf32_note_sections : 
  Endianness.endianness ->
  Elf_section_header_table.elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_note list Error.error

val obtain_elf64_note_sections : 
  Endianness.endianness ->
  Elf_section_header_table.elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_note list Error.error

val obtain_elf32_note_segments : 
  Endianness.endianness ->
  Elf_program_header_table.elf32_program_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_note list Error.error

val obtain_elf64_note_segments : 
  Endianness.endianness ->
  Elf_program_header_table.elf64_program_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_note list Error.error

val obtain_elf32_note_section_and_segments : 
  Endianness.endianness ->
  Elf_program_header_table.elf32_program_header_table_entry list ->
  Elf_section_header_table.elf32_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  elf32_note list Error.error

val obtain_elf64_note_section_and_segments : 
  Endianness.endianness ->
  Elf_program_header_table.elf64_program_header_table_entry list ->
  Elf_section_header_table.elf64_section_header_table_entry list ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_note list Error.error

val name_string_of_elf32_note : elf32_note -> string

val name_string_of_elf64_note : elf64_note -> string

val read_elf64_freebsd_note_desc : 
  Endianness.endianness ->
  elf64_note ->
  Nat_big_num.num ->
  Byte_sequence_wrapper.byte_sequence Error.error

val read_string' : 
  Byte_sequence_wrapper.byte_sequence ->
  (char list * Byte_sequence_wrapper.byte_sequence) Error.error

val read_string : 
  Byte_sequence_wrapper.byte_sequence ->
  (string * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_nt_file_entry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  string ->
  (elf64_nt_file_entry * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_nt_file_entries : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_nt_file_entry list Error.error

val read_elf64_nt_file : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_nt_file Error.error

val read_elf64_nt_procstat_vmentry : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (elf64_nt_procstat_vmentry * Byte_sequence_wrapper.byte_sequence) Error.error

val read_elf64_nt_procstat_vmmap : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_nt_procstat_vmentry list Error.error

val read_elf64_nt_procstat_psstrings : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  Uint64_wrapper.uint64 Error.error

type elf64_psstrings = {

elf64_psstrings_argvstr : Uint64_wrapper.uint64;
elf64_psstrings_nargvstr : Uint32_wrapper.uint32;
elf64_psstrings_envstr : Uint64_wrapper.uint64;
elf64_psstrings_nenvstr : Uint32_wrapper.uint32;

}

val read_elf64_psstrings : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  elf64_psstrings Error.error

type mmap_entry = {

mmap_entry_start : Nat_big_num.num;
mmap_entry_end : Nat_big_num.num;
mmap_entry_offset : Nat_big_num.num;
mmap_entry_path : string;

}

val read_nt_file_entries : 
  Endianness.endianness ->
  elf64_note list ->
  mmap_entry list Error.error

val read_nt_procstat_vmmap : 
  Endianness.endianness ->
  elf64_note list ->
  mmap_entry list Error.error

val read_mmap_table : 
  Endianness.endianness ->
  elf64_note list ->
  mmap_entry list Error.error

val get_mmap_entry_at : mmap_entry list -> Nat_big_num.num -> mmap_entry option

val read_all_elf64_nt_auxv : 
  Endianness.endianness ->
  elf64_note list ->
  Auxv.elf64_auxv list Error.error

package linksem