package linksem

You can search for identifiers within the package.

in-package search v0.2.0

A formalisation of the core ELF and DWARF file formats written in Lem

Install

md5=2075c56715539b3b8f54ae65cc808b8c

sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2

Sourceval r_mips_cheri_absptr : Nat_big_num.num

Sourceval r_mips_cheri_size : Nat_big_num.num

Sourceval r_mips_cheri_capability : Nat_big_num.num

Sourceval string_of_cheri_mips_relocation_subtype : Nat_big_num.num -> string

Sourceval string_of_cheri_mips64_relocation_type : Nat_big_num.num -> string

val cheri_mips64_reloc : 
  Nat_big_num.num ->
  bool * 'abifeature Memory_image.reloc_apply_fn

Sourceval abi_cheri_mips64_function_reloc_flag : Nat_big_num.num

Sourcetype cheri_mips64_cap_reloc = {

}

val read_cheri_mips64_cap_relocs : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  cheri_mips64_cap_reloc list Error.error

Sourceval cheri_mips64_cap_reloc_is_function : cheri_mips64_cap_reloc -> bool