Vocabulary
elf

Inputs
elfa Elf32/64_Ehdr
addressan object


Outputs
section-header/fan object


Definition


TYPED:: virtual-address-section
( elf: Elf32/64_Ehdr address -- section-header/f )
elf address virtual-address-segment
:> segment segment elf elf-section-headers
elf-segment-sections :> sections address segment p_vaddr>> -
segment p_offset>> + :> faddress sections [
[ sh_offset>> dup ] [ sh_size>> + ] bi [a,b)
faddress swap interval-contains?
] find nip ;