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

abi_x86_relocation contains X86 ABI specific definitions relating to * relocations.

Relocation types.

Sourceval r_386_none : Nat_big_num.num

Sourceval r_386_32 : Nat_big_num.num

Sourceval r_386_pc32 : Nat_big_num.num

Sourceval r_386_got32 : Nat_big_num.num

Sourceval r_386_plt32 : Nat_big_num.num

Sourceval r_386_copy : Nat_big_num.num

Sourceval r_386_glob_dat : Nat_big_num.num

Sourceval r_386_jmp_slot : Nat_big_num.num

Sourceval r_386_relative : Nat_big_num.num

Sourceval r_386_gotoff : Nat_big_num.num

Sourceval r_386_gotpc : Nat_big_num.num

Found in the "wild" but not in the ABI docs:

Sourceval r_386_tls_tpoff : Nat_big_num.num

Sourceval r_386_tls_dtpmod32 : Nat_big_num.num

Sourceval r_386_tls_dtpoff32 : Nat_big_num.num

Sourceval r_386_irelative : Nat_big_num.num

Sourceval string_of_x86_relocation_type : Nat_big_num.num -> string

string_of_x86_relocation_type m produces a string based representation of * X86 ABI relocation type m.