		Search-engine friendly clone of the ACL2 documentation.

Execloader

Elf-reader

Read in parts of ELF format files into fields of the elf stobj

Subtopics

Elf64_sym: An 192-bit unsigned bitstruct type.
Elf32_sym: An 128-bit unsigned bitstruct type.
Elf-header
Elf-section-header
Elf64-segment-header
Elf32-segment-header
Elf_bits32: An 32-bit unsigned bitstruct type.
Elf_bits8: An 8-bit unsigned bitstruct type.
Elf_bits64: An 64-bit unsigned bitstruct type.
Elf_bits16: An 16-bit unsigned bitstruct type.
Section-info: Relevant information about a section of an ELF or Mach-O binary file
Read-section-headers: Read ELF section headers
Read-segment-headers-64: Read 64-bit ELF segment headers
Read-segment-headers-32: Read 64-bit ELF segment headers
Read-section-names: Get the names of the section headers from the string section table, located at the offset indicated by the sh_offset value of the shstrndxth section
Elf64_sym-info
Elf32_sym-info
Read-elf-header: Read the ELF header from the first 64 bytes
Parse-symtab-entries
Populate-elf-contents: Initialize the ELF stobj with contents parsed as an ELF binary
Is-elf-content-p: Check if contents represent a valid ELF binary (in bytes, LSB-first); if so, return the ELF header
Get-string-section-data
Get-section-info1
Set-elf-stobj-fields: Populate ELF stobj with bytes corresponding to each section
Get-named-section-headers
Elf-read-mem-null-term: Read a location at an offset of a given byte-list and return the list of bytes until a null is encountered (null not included)
Get-section-info: Get a section-info-p in section-info-list-p corresponding to name
Get-symtab-entries: Get all symbol table entries, with names mapped to entries in the string table
Find-label-address-from-elf-symtab-info
Section-names: Get all names from sections in section-info-list
Populate-elf: Initialize the ELF stobj with contents of ELF binary filename
Get-label-addresses: Return the addresses of each valid label in labels by searching in the sym/str table information
Elf-read-string-null-term: Read a null terminated string from a given offset of byte-list
Get-label-address: Return the address of label, if present, by searching in the sym/str table information
Good-elf-p: The preferred recognizer for the elf stobj
Elf64_sym-equiv-under-mask
Elf64-segment-headers: A list of elf64-segment-header-p objects.
Elf32_sym-equiv-under-mask
Elf32-segment-headers: A list of elf32-segment-header-p objects.
Section-info-list: A list of section-info-p objects.
Elf64_sym-info-list: A list of elf64_sym-info-p objects.
Elf32_sym-info-list: A list of elf32_sym-info-p objects.
Elf-section-headers: A list of elf-section-header-p objects.
Elf64_sym-debug
Elf32_sym-debug