---

2.3.3 Validation

The following predicates can validate ELF identifier and ELF header records obtained from parsing binary data.

Procedure: valid-elf-ident? elf-ident ¶

Validates the magic, class, data, version, osabi, abiversion, and pad of the ELF identifier. In particular, it ensures that these fields only take recognizable values.

Procedure: valid-elf-header? elf-header ¶

Validates the elf-ident with valid-elf-ident?, and in addition, the type, machine, version, and ehsize of the ELF header.