• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
      • X86isa
      • Axe
      • Execloader
        • Elf-reader
          • Elf64_sym
          • Elf32_sym
          • Elf-header
          • Elf-section-header
          • Elf64-segment-header
          • Elf32-segment-header
          • Elf_bits32
          • Elf_bits8
          • Elf_bits64
          • Elf_bits16
          • Section-info
          • Read-section-headers
          • Read-segment-headers-64
          • Read-segment-headers-32
          • Read-section-names
          • Elf64_sym-info
          • Elf32_sym-info
          • Read-elf-header
          • Parse-symtab-entries
          • Populate-elf-contents
          • Is-elf-content-p
          • Get-string-section-data
          • Get-section-info1
          • Set-elf-stobj-fields
          • Get-named-section-headers
          • Elf-read-mem-null-term
          • Get-section-info
          • Get-symtab-entries
          • Find-label-address-from-elf-symtab-info
          • Section-names
          • Populate-elf
          • Get-label-addresses
          • Elf-read-string-null-term
          • Get-label-address
          • Good-elf-p
          • Elf64_sym-equiv-under-mask
          • Elf64-segment-headers
          • Elf32_sym-equiv-under-mask
          • Elf32-segment-headers
          • Section-info-list
          • Elf64_sym-info-list
          • Elf32_sym-info-list
          • Elf-section-headers
          • Elf64_sym-debug
          • Elf32_sym-debug
        • Mach-o-reader
        • Merge-first-split-bytes
        • Split-bytes
        • Take-till-zero
        • Charlist->bytes
        • Merge-bytes
        • Bytes->charlist
        • String->bytes
        • Bytes->string
    • Math
    • Testing-utilities
  • 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