Bug 25083

It doesn't really "hang", but tries to write out an enormous amount of data.

The issue is that both hangxx files have allocated section with a very large offset:

[ 9] .rela.dyn            NOBITS       00000000000015b8 d600000280 00002688 24 A
      5   0  8

[26] .bss                 NOBITS       0000000000212b80 e8ff012b60 00000490  0 WA     0   0 64

When writing out the new file eu-unstrip will dutifully try to place those sections at that exact offset in the file by putting "filler" (zeros) in the file till the offset is reached. That simply takes a very long time (or till the disk space runs out).

I see.
Is there a need to provide an upper bound for the offset?

(In reply to leftcopy.chx from comment #2)
> I see.
> Is there a need to provide an upper bound for the offset?

There is an offset for the upperbound that we might be able to detect. To be valid the offset in the original file should not be larger than the file size.   For allocated sections that is the original executable file size/

The following implements the sanity check and will prevent the hangs by generating an error if the section offset of an allocated section in the original file is too large when we have to preserve it:

diff --git a/src/unstrip.c b/src/unstrip.c
index fc878325..d9bafe5c 100644
--- a/src/unstrip.c
+++ b/src/unstrip.c
@@ -1388,6 +1388,17 @@ copy_elided_sections (Elf *unstripped, Elf *stripped,
     error (EXIT_FAILURE, 0, _("\
 more sections in stripped file than debug file -- arguments reversed?"));
 
+
+  /* Used as sanity check for allocated section offset, if the section
+     offset needs to be preserved.  We want to know the max size of the
+     ELF file, to check if any existing section offsets are OK.  */
+  int64_t max_off = -1;
+  if (stripped_ehdr->e_type != ET_REL)
+    {
+      elf_flagelf (stripped, ELF_C_SET, ELF_F_LAYOUT);
+      max_off = elf_update (stripped, ELF_C_NULL);
+    }
+
   /* Cache the stripped file's section details.  */
   struct section sections[stripped_shnum - 1];
   Elf_Scn *scn = NULL;
@@ -1675,6 +1686,11 @@ more sections in stripped file than debug file -- arguments reversed?"));
        /* Preserve the file layout of the allocated sections.  */
        if (stripped_ehdr->e_type != ET_REL && (shdr_mem.sh_flags & SHF_ALLOC))
          {
+           if (max_off > 0 && sec->shdr.sh_offset > (Elf64_Off) max_off)
+               error (EXIT_FAILURE, 0,
+                      "allocated section offset too large [%zd] %" PRIx64,
+                      elf_ndxscn (sec->scn), sec->shdr.sh_offset);
+
            shdr_mem.sh_offset = sec->shdr.sh_offset;
            placed[elf_ndxscn (sec->outscn) - 1] = true;

commit 9d3003f6b0baa94a53013fbefb4f6542bc532a6c (HEAD -> master)
Author: Mark Wielaard <mark@klomp.org>
Date:   Sun Oct 20 17:26:29 2019 +0200

    unstrip: Add sanity check for bogus sh_offset of allocated sections.
    
    unstrip tries to preserve any allocated section offset in an
    executable or shared library. If the offset is extremely large that
    would cause the disk to fill up because we will write out a file with
    lots of padding to put the section contents at that particular
    offset. Add a sanity check that makes sure we just error out if there
    is such a bogus offset by checking that no offset is larger than the
    original ELF file size.
    
    https://sourceware.org/bugzilla/show_bug.cgi?id=25083
    
    Signed-off-by: Mark Wielaard <mark@klomp.org>