typerex-binutils 1.0 (latest)

type symbol_section =

| SYM_SHN_UNDEF
| SYM_SHN_ABS
| SYM_SHN_COMMON
| SYM_SHN of string

type elf_symbol = {

st_name : string;
st_value : addr;
st_size : word;
st_bind : elf_symbol_bind_type;
st_type : elf_symbol_type;
st_section : symbol_section;

}

type elf64_rel = {

rel_offset : addr;
rel_info : xword;
rel_info_symbol : half;
rel_info_type : half;

}

type elf64_rela = {

rela_offset : addr;
rela_info : xword;
rela_info_symbol : half;
rela_info_type : half;
rela_addend : sxword;

}

type elf32_rel = {

rel_offset : addr;
rel_info : xword;
rel_info_symbol : half;
rel_info_type : half;

}

type elf32_rela = {

rela_offset : addr;
rela_info : word;
rela_info_symbol : half;
rela_info_type : half;
rela_addend : sword;

}

type note_section = {

notes : xword array;
note_namez : xword;
note_descsz : xword;
note_type : xword;
note_name : string;
note_desc : string;

}

type dynamic_tag =

| DT_NULL
| DT_NEEDED
| DT_PLTRELSZ
| DT_PLTGOT
| DT_HASH
| DT_STRTAB
| DT_SYMTAB
| DT_RELA
| DT_RELASZ
| DT_RELAENT
| DT_STRSZ
| DT_SYMENT
| DT_INIT
| DT_FINI
| DT_SONAME
| DT_RPATH
| DT_SYMBOLIC
| DT_REL
| DT_RELSZ
| DT_RELENT
| DT_PLTREL
| DT_DEBUG
| DT_TEXTREL
| DT_JMPREL
| DT_BIND_NOW
| DT_INIT_ARRAY
| DT_FINI_ARRAY
| DT_INIT_ARRAYSZ
| DT_FINI_ARRAYSZ
| DT_OS of int
| DT_PROC of int
| DT_NUM of int

type dynamic = {

d_tag : sxword;
d_val : xword;

}

type hash_section = {

hash_words : word array;
hash_nbuckets : word;
hash_nchain : word;
hash_buckets : word array;
hash_chains : word array;

}

type dynamic_segment = dynamic array

type elf32_relocation =

| R_386_NONE
| R_386_32
| R_386_PC32
| R_386_GOT32
| R_386_PLT32
| R_386_COPY
| R_386_GLOB_DAT
| R_386_JMP_SLOT
| R_386_RELATIVE
| R_386_GOTOFF
| R_386_GOTPC
| R_386_32PLT
| R_386_16
| R_386_PC16
| R_386_8
| R_386_PC8
| R_386_UNKNOWN of int

type elf64_relocation =

| R_X86_64_NONE
| R_X86_64_64
| R_X86_64_PC32
| R_X86_64_GOT32
| R_X86_64_PLT32
| R_X86_64_COPY
| R_X86_64_GLOB_DAT
| R_X86_64_JUMP_SLOT
| R_X86_64_RELATIVE
| R_X86_64_GOTPCREL
| R_X86_64_32
| R_X86_64_32S
| R_X86_64_16
| R_X86_64_PC16
| R_X86_64_8
| R_X86_64_PC8
| R_X86_64_DPTMOD64
| R_X86_64_DTPOFF64
| R_X86_64_TPOFF64
| R_X86_64_TLSGD
| R_X86_64_TLSLD
| R_X86_64_DTPOFF32
| R_X86_64_GOTTPOFF
| R_X86_64_TPOFF32
| R_X86_64_PC64
| R_X86_64_GOTOFF64
| R_X86_64_GOTPC32
| R_X86_64_SIZE32
| R_X86_64_SIZE64
| R_X86_64_UNKNOWN of int

type !'relocation rela_reloc = {

r_offset : int64;
r_sym : int64;
r_type : 'relocation;
r_addend : int64;

}

type !'relocation rela = {

rela_relocs : 'relocation rela_reloc array;
rela_symbols : string;
rela_target : string;

}

type section_bits = {

sht_flags : section_attribute list;
sht_addr : int64;
sht_align : int;
sht_content : string;

}

type section_desc =

| SHT_NULL
| SHT_PROGBITS of section_bits
| SHT_NOBITS of section_bits
| SHT_STRTAB of string
| SHT_SYMTAB of elf_symbol array
| SHT_RELA32 of elf32_relocation rela
| SHT_RELA64 of elf64_relocation rela
| SHT_REL32 of elf32_relocation rela
| SHT_REL64 of elf64_relocation rela
| SHT_VERSYM of int array
| SHT_VERNEED of string * (RAW.verneed * RAW.vernaux list) list
| SHT_UNKNOWN of RAW.section

type section = {

s_name : string;
s_desc : section_desc;

}

type program_desc =

| PR_INTERP of string
| PR_UNKNOWN

type program = {

p_header : RAW.program_header;
mutable p_desc : program_desc;

}

type t = {

e_file_class : elf_file_class;
e_data_encoding : elf_data_encoding;
e_file_version : int;
e_osabi : elf_osabi;
e_abi_version : int;
e_type : elf_type;
e_machine : machine;
e_version : word;
e_entry : addr;
e_flags : word;
mutable e_sections : section StringCompat.StringMap.t;
mutable e_programs : program array;

}

package typerex-binutils