3 Pickles Overview

This chapter provides an high-level overview of all the pickles distributed by this package. These are all developed in subsequent chapters.

elf.pk

This is the main ELF pickle, and the one that is intended to be loaded by the user. It does little more than loading the rest of the elf-* pickles, but it does it in the right order!

elf-build.pk

This pickle contains information generating during building the poke-elf package. In particular, the version.

elf-config.pk

This pickle implements the ELF configuration registry, which is used by the ELF pickles in order to maintain a database of the very varied set of different configuration parameters supported by the ELF specification: machine types, section types, segment types, file flags, etc. See ELF Configurations.

elf-common.pk

This pickle contains definitions which are common to both 32-bit and 64-bit ELF. It also registers configuration parameters that are common to all machine types.

elf-os-os.pk

These pickles contain definitions and configuration parameters for the different operating systems supported in the ELF specification. For example, elf-os-gnu.pk covers the GNU extensions documented in the GNU gabi extensions ¹.

elf-mach-aarch64.pk

elf-mach-arm.pk

elf-mach-bpf.pk

elf-mach-mips.pk

elf-mach-riscv.pk

elf-mach-sparc.pk

elf-mach-x86-64.pk

These pickles contain definitions and configuration parameters for the different machine types supported in the ELF specification.

elf-32.pk

This pickle contains definitions for 32-bit ELF files. Among these is the definition of the Elf32_File type, which corresponds to an entire ELF-32 file.

elf-64.pk

This pickle contains definitions for 64-bit ELF files. Among these is the definition of the Elf64_File type, which corresponds to an entire ELF-64 file.