Page MenuHomeFreeBSD

Handle non-PLT GNU IFUNC relocations in rtld
ClosedPublic

Authored by luporl on Jul 2 2020, 7:10 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sun, Apr 14, 1:17 AM
Unknown Object (File)
Sat, Apr 13, 9:23 AM
Unknown Object (File)
Mar 18 2024, 9:28 PM
Unknown Object (File)
Dec 23 2023, 12:47 AM
Unknown Object (File)
Dec 21 2023, 5:16 PM
Unknown Object (File)
Dec 12 2023, 12:22 AM
Unknown Object (File)
Nov 25 2023, 11:14 PM
Unknown Object (File)
Nov 22 2023, 3:08 PM

Details

Summary

The code that handled non-PLT GNU IFUNC relocations was removed in r343484.
This may leave some relocations unhandled, which can cause crashes or misbehavior.

For instance, on PowerPC64, the code snippet below causes a crash:

void *(*f)(void *, const void *, size_t);

f = memcpy;
f(dst, src, len);

This happens because memcpy is an IFUNC on PowerPC64, and the assignment of its
pointer to f causes a non-PLT GNU IFUNC relocation to be generated. As the
relocation is not handled, it remains 0, resulting in an indirect call to a
NULL pointer. Another example is Postgres, that has a very similar code fragment
and is currently crashing when invoked by initdb.

The problem also occurs on amd64, but it's harder to trigger it.
But it can be reproduced by creating a test library that exports an
imemcpy function, that mimics memcpy but is an IFUNC, and building the
test program as PIE. Or by using amd64_get_fbase function instead of memcpy.
It also occurs on non-PIE binaries, when a shared object takes the address of
an IFUNC defined on another shared object
(but if the same IFUNC is also used by the main binary, then rtld end up finding
the symbol in the PLT of the main binary and the issue doesn't occur).
On PowerPC64, it happens more frequently because its binaries always use
the TOC to reference global symbols, that has a role similar to the GOT.

One possible solution for the issue described would be to revert r343484
(ifunc_init() would also need to be called earlier, before relocate_objects()).
The main problem with it is that, as described in r343484 and D17529, it
restricts what IFUNC resolvers can do, mainly by disallowing them to use
symbols that are defined (or visible) outside the resolver's translation unit.
Note, however, that this conforms to the restrictions listed at
https://sourceware.org/glibc/wiki/GNU_IFUNC.
Because of that and also to take advantage of the late IFUNC resolving that is
now implemented in rtld, this patch simply moves the resolving of non-PLT GNU IFUNC
relocations inside resolve_object_ifunc().

Test Plan

Tested changes on amd64 and PowerPC64, with a few sample programs.

TODO: buildworld on amd64 and PowerPC64, with patched rtld.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

luporl requested review of this revision.Jul 2 2020, 7:10 PM
luporl created this revision.

Provide the amd64 example, in binary form.

In D25550#564939, @kib wrote:

Provide the amd64 example, in binary form.

Minimal: https://people.freebsd.org/~luporl/ifunc2/minimal
PIE: https://people.freebsd.org/~luporl/ifunc2/pie/
non-PIE: https://people.freebsd.org/~luporl/ifunc2/npie/

Minimal will just use an IFUNC pointer and crash. PIE and non-PIE test several cases, but print the pointers that are null, instead of crashing.

Other then the note, I think it is fine. Indeed we did not handled non_plt_gnu_ifuncs.

libexec/rtld-elf/rtld.c
3124 ↗(On Diff #74029)

SYMLOOK_EARLY must not be set unconditionally, it causes wrong locking when used from dlopen(). You basically should do (flags & SYMLOOK_EARLY) | SYMLOOK_IFUNC.

libexec/rtld-elf/rtld.c
3124 ↗(On Diff #74029)

Right.
Actually, I had replaced flags by SYMLOOK_EARLY in a previous version of this patch, where I was calling reloc_non_plt() from _rtld(), where there is no flags, and it ended up here.
So I guess flags | SYMLOOK_IFUNC would be better in this case.

Address kib's review comments

Please merge to 12 and 11.

This revision is now accepted and ready to land.Jul 3 2020, 7:37 PM
This revision was automatically updated to reflect the committed changes.