aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Beulich <jbeulich@suse.com>2020-08-21 10:28:35 +0200
committerJan Beulich <jbeulich@suse.com>2020-08-21 10:28:35 +0200
commit610ed3e08f13b3886fd7194fb7a248dee8724685 (patch)
treef72f21054bc5b20cade2d9ebea3e3a1ca6eb318b
parent9cc9699833ccf94634b247da10a31c2ed60a9aad (diff)
downloadbinutils-610ed3e08f13b3886fd7194fb7a248dee8724685.zip
binutils-610ed3e08f13b3886fd7194fb7a248dee8724685.tar.gz
binutils-610ed3e08f13b3886fd7194fb7a248dee8724685.tar.bz2
fix objcopy of PE images with .buildid section
Xen Project embeds a build ID in its hypervisor binary (including its EFI variant), living in a standalone section. This usually gets placed right after .rodata, and due to the rounding done on the (file) size of .rodata the two sections appear to overlap (as far as e.g. find_section_by_vma() is concerned). With the first byte "found" in .rodata, nothing guarantees that the entire debug dir fits in that section, leading to apparently random failure of objcopy on such an image. Possible alternatives to the solution chosen: - make find_section_by_vma() honor virt_size, - correct the recording of sizes elsewhere (ibfd has size == virt_size, while obfd doesn't), - fix the linker to avoid producing apparently overlapping sections. While touching the condition around and the contents of the disgnostic, pull it up ahead of the bfd_malloc_and_get_section() call: There's no point first obtaining the section contents, in order to then fail.
-rw-r--r--bfd/ChangeLog5
-rw-r--r--bfd/peXXigen.c34
2 files changed, 24 insertions, 15 deletions
diff --git a/bfd/ChangeLog b/bfd/ChangeLog
index 670803d..62407f9 100644
--- a/bfd/ChangeLog
+++ b/bfd/ChangeLog
@@ -1,3 +1,8 @@
+2020-08-21 Jan Beulich <jbeulich@suse.com>
+
+ * peXXigen.c (_bfd_XX_bfd_copy_private_bfd_data_common): Check
+ last byte of debug dir, not first.
+
2020-08-20 Nick Clifton <nickc@redhat.com>
PR 26428
diff --git a/bfd/peXXigen.c b/bfd/peXXigen.c
index 3c3fa27..646ad0f 100644
--- a/bfd/peXXigen.c
+++ b/bfd/peXXigen.c
@@ -2943,29 +2943,33 @@ _bfd_XX_bfd_copy_private_bfd_data_common (bfd * ibfd, bfd * obfd)
{
bfd_vma addr = ope->pe_opthdr.DataDirectory[PE_DEBUG_DATA].VirtualAddress
+ ope->pe_opthdr.ImageBase;
- asection *section = find_section_by_vma (obfd, addr);
+ /* In particular a .buildid section may overlap (in VA space) with
+ whatever section comes ahead of it (largely because of section->size
+ representing s_size, not virt_size). Therefore don't look for the
+ section containing the first byte, but for that covering the last
+ one. */
+ bfd_vma last = addr + ope->pe_opthdr.DataDirectory[PE_DEBUG_DATA].Size - 1;
+ asection *section = find_section_by_vma (obfd, last);
bfd_byte *data;
+ /* PR 17512: file: 0f15796a. */
+ if (section && addr < section->vma)
+ {
+ /* xgettext:c-format */
+ _bfd_error_handler
+ (_("%pB: Data Directory (%lx bytes at %" PRIx64 ") "
+ "extends across section boundary at %" PRIx64),
+ obfd, ope->pe_opthdr.DataDirectory[PE_DEBUG_DATA].Size,
+ (uint64_t) addr, (uint64_t) section->vma);
+ return FALSE;
+ }
+
if (section && bfd_malloc_and_get_section (obfd, section, &data))
{
unsigned int i;
struct external_IMAGE_DEBUG_DIRECTORY *dd =
(struct external_IMAGE_DEBUG_DIRECTORY *)(data + (addr - section->vma));
- /* PR 17512: file: 0f15796a. */
- if ((unsigned long) ope->pe_opthdr.DataDirectory[PE_DEBUG_DATA].Size
- > section->size - (addr - section->vma))
- {
- /* xgettext:c-format */
- _bfd_error_handler
- (_("%pB: Data Directory size (%lx) "
- "exceeds space left in section (%" PRIx64 ")"),
- obfd, ope->pe_opthdr.DataDirectory[PE_DEBUG_DATA].Size,
- (uint64_t) (section->size - (addr - section->vma)));
- free (data);
- return FALSE;
- }
-
for (i = 0; i < ope->pe_opthdr.DataDirectory[PE_DEBUG_DATA].Size
/ sizeof (struct external_IMAGE_DEBUG_DIRECTORY); i++)
{