[binutils-gdb] Fix the linker so that it will not silently generate ELF binaries with invalid program headers. Fix
Nick Clifton
nickc@redhat.com
Thu Dec 8 12:09:00 GMT 2016
Hi Maciej,
> Program Headers:
> Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align
> PHDR 0x000034 0x00001034 0x00000000 0x000a0 0x000a0 R E 0x4
> INTERP 0x001000 0x00080000 0x00080000 0x00013 0x00013 R 0x1
> [Requesting program interpreter: /usr/lib/libc.so.1]
> LOAD 0x001000 0x00080000 0x00080000 0x00408 0x00408 R E 0x1000
> LOAD 0x002000 0x00081000 0x00081000 0x00804 0x00c00 RW 0x1000
> DYNAMIC 0x002000 0x00081000 0x00081000 0x00078 0x00078 RW 0x4
The problem with this layout is that the ELF specification says in its description
of the program header types:
PT_PHDR The array element, if present, specifies the location
and size of the program header table itself, both in
the file and in the memory image of the program. This
segment type may not occur more than once in a file.
Moreover, it may occur only if the program header table
is part of the memory image of the program. If it is
present, it must precede any loadable segment entry.
Hence, if a PT_PHDR segment is present in a binary it must also be part of
a PT_LOAD segment, so that it gets loaded into the runtime memory image of
the executable.
The layout above breaks this requirement by placing the PT_PHDR segment at
0x1034 but starting the first load segment at 0x80000.
> Program Headers:
> Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align
> PHDR 0x000034 0x0007f034 0x0007f034 0x000a0 0x000a0 R E 0x4
> INTERP 0x001000 0x00080000 0x00080000 0x00013 0x00013 R 0x1
> [Requesting program interpreter: /usr/lib/libc.so.1]
> LOAD 0x000000 0x0007f000 0x0007f000 0x01408 0x01408 R E 0x1000
> LOAD 0x002000 0x00081000 0x00081000 0x00804 0x00c00 RW 0x1000
> DYNAMIC 0x002000 0x00081000 0x00081000 0x00078 0x00078 RW 0x4
This is the linker's attempt to resolve the problem, by moving the start
address of the first LOAD segment down to 0x7f0000. (The linker cannot just
create another LOAD segment just for the program headers as there is code
inside the linker that will discard any LOAD segments that do not have any
sections mapped into them).
> This places the first LOAD segment below the location set with the linker
> script, which I fear may affect run-time interpretation. The test case
> has the addresses expected spelled out in full for a reason I suppose.
True. You could fix the problem by adding --no-dynamic-linker to the test's
linker command line, since then the linker will not create PHDR or INTERP
segments, and so the LOAD segments will have the expected addresses. I doubt
if you want this solution however as I assume that the whole point of this
test is to create a working dynamic executable.
The correct solution, I think, is to define the program headers in the linker
script, so that their placement can be specifically controlled by the user.
See the vxworks1.ld script attached, which does this.
But...this causes a problem for the "VxWorks executable test 2 (static)" test
as now there is a DYNAMIC segment in the program headers but no .dynamic
section in the section headers, and readelf complains. *sigh* So you need
a second linker script, just for static executables.
So the result is the attached patch, which I think resolves the problem. (For
MIPS based vxworks targets anyway. It looks like similar changes may be needed
for other vxworks architectures). What do you think ?
Cheers
Nick
-------------- next part --------------
PHDRS
{
headers PT_PHDR PHDRS;
header_load PT_LOAD PHDRS;
interp PT_INTERP;
code PT_LOAD;
data PT_LOAD;
dynamic PT_DYNAMIC;
}
SECTIONS
{
. = 0x80000;
. = . + SIZEOF_HEADERS;
.interp : { *(.interp) } :interp :headers :header_load
.hash : { *(.hash) } :code
.dynsym : { *(.dynsym) }
.dynstr : { *(.dynstr) }
. = ALIGN (0x400);
.rela.dyn : { *(.rela.dyn) }
.rela.plt : { *(.rela.plt) }
. = ALIGN (0x400);
.plt : { *(.plt) }
. = ALIGN (0x400);
.text : { *(.text) }
. = ALIGN (0x1000);
.dynamic : { *(.dynamic) } :data :dynamic
. = ALIGN (0x400);
.got : { *(.got.plt) *(.got) } :data
. = ALIGN (0x400);
.data : { *(.data) }
. = ALIGN (0x400);
.bss : { *(.bss) *(.dynbss) }
/DISCARD/ : { *(.reginfo) *(.MIPS.abiflags) }
}
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mips.vxworks.ld-tests.patch
Type: text/x-patch
Size: 2635 bytes
Desc: not available
URL: <https://sourceware.org/pipermail/binutils/attachments/20161208/2fd143e7/attachment.bin>
More information about the Binutils
mailing list