https://sourceware.org/bugzilla/show_bug.cgi?id=34824
Bug ID: 34824
Summary: GNU ld MIPS weak IFUNC static link dereferences a NULL
GOT
Product: binutils
Version: 2.46
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ld
Assignee: unassigned at sourceware dot org
Reporter: basavesh.shivakumar at wsu dot edu
Target Milestone: ---
Created attachment 17144
--> https://sourceware.org/bugzilla/attachment.cgi?id=17144&action=edit
repro
I'm reporting this bug on behalf of my team: Ananta Srikar Puranam, Emily West,
Dr. Swarn Priya, Dr. Peng Gao and Dr. Basavesh Ammanaghatta Shivakumar.
Summary
=======
A crafted ELF32 MIPS GNU-OSABI object whose only material change from a passing
weak-FUNC control is STT_GNU_IFUNC reaches final dynamic-symbol handling in a
static GNU ld link without a GOT; current ASan/UBSan attributes the NULL
mips_got_info read to elfxx-mips.c:3731, and unsanitized current and released
GNU ld 2.46 SIGSEGV while the one-byte weak-FUNC control passes.
Reproduction
============
1. Download and extract
`bfd-mips-weak-ifunc-missing-got-null-dereference-reproducer.tar.gz`.
2. Run the following command with an ld.bfd or all-target `ld-new` binary that
supports the emulation used by the reproducer:
BFD=/path/to/ld-new sh repro.sh
The archive contains the fixed input files, independent controls, helper
scripts needed by `repro.sh`, and their checksums. The script uses a temporary
directory and does not modify the source tree.
Observed result
===============
A crafted ELF32 MIPS GNU-OSABI object whose only material change from a passing
weak-FUNC control is STT_GNU_IFUNC reaches final dynamic-symbol handling in a
static GNU ld link without a GOT; current ASan/UBSan attributes the NULL
mips_got_info read to elfxx-mips.c:3731, and unsanitized current and released
GNU ld 2.46 SIGSEGV while the one-byte weak-FUNC control passes.
Expected result
===============
GNU ld should either produce the correct output or reject the input with a
normal diagnostic. It should not crash, hang, execute undefined behavior, read
outside an input-derived allocation, or produce the described malformed
output.
--
You are receiving this mail because:
You are on the CC list for the bug.
