Executable formats

ELF load-segment checker

Check PT_LOAD size ordering and file/address alignment congruence.

Your inputs

Start with an example

Example result

Require file size ≤ memory size. For alignment above 1, compare virtual address and file offset modulo that power of two.

Offset 4096 and address 4198400 are both 0 modulo 4096; 1024 memory bytes minus 512 file bytes leaves 512 zero-fill bytes.

These are field checks, not a loader or platform page-size certification. Supply integer addresses up to 10¹².