[PATCH] libelf: If xlate can only convert the ELF note header, just do that.

2019-04-30 Thread Mark Wielaard
When we started parsing new style ELF_T_NHDR8 notes we added extra
checks on alignment and padding. When those failed we would stop
converting and just return the rest of the ELF Note unconverted.
In the case were we just had enough data for just the ELF Note header
and the destionation and source weren't the same we would then
accidentially throw away the Note header conversion we just did.

Fix that by indicating we did correctly convert just the header.

Adds testcase that compares parsing ELF notes with gelf_getnote
and parsing the raw data by hand using elf32_xlatetom using just
the Note header and ignoring the (raw) note data.

Signed-off-by: Mark Wielaard 
---
 libelf/note_xlate.h |  12 +++-
 tests/ChangeLog |   9 +++
 tests/Makefile.am   |   8 ++-
 tests/run-xlate-note.sh |  93 
 tests/xlate_notes.c | 157 
 5 files changed, 274 insertions(+), 5 deletions(-)
 create mode 100755 tests/run-xlate-note.sh
 create mode 100644 tests/xlate_notes.c

diff --git a/libelf/note_xlate.h b/libelf/note_xlate.h
index bc9950f..4944a5a 100644
--- a/libelf/note_xlate.h
+++ b/libelf/note_xlate.h
@@ -47,13 +47,21 @@ elf_cvt_note (void *dest, const void *src, size_t len, int 
encode,
   note_len += n->n_namesz;
   note_len = nhdr8 ? NOTE_ALIGN8 (note_len) : NOTE_ALIGN4 (note_len);
   if (note_len > len || note_len < sizeof *n)
-   break;
+   {
+ /* Header was translated, nothing else.  */
+ len -= sizeof *n;
+ break;
+   }
 
   /* data as a whole needs to be aligned.  */
   note_len += n->n_descsz;
   note_len = nhdr8 ? NOTE_ALIGN8 (note_len) : NOTE_ALIGN4 (note_len);
   if (note_len > len || note_len < sizeof *n)
-   break;
+   {
+ /* Header was translated, nothing else.  */
+ len -= sizeof *n;
+ break;
+   }
 
   /* Copy or skip the note data.  */
   size_t note_data_len = note_len - sizeof *n;
diff --git a/tests/ChangeLog b/tests/ChangeLog
index 71aa178..761edd0 100644
--- a/tests/ChangeLog
+++ b/tests/ChangeLog
@@ -1,3 +1,12 @@
+2019-04-30  Mark Wielaard  
+
+   * xlate_notes.c: New file.
+   * run-xlate-note.sh: New test.
+   * Makefile.am (check_PROGRAMS): Add xlate_notes.
+   (TESTS): Add run-xlate-note.sh.
+   (EXTRA_DIST): Likewise.
+   (xlate_notes_LDADD): New variable.
+
 2019-03-04  Mark Wielaard  
 
* backtrace.c (tgkill): Remove define.
diff --git a/tests/Makefile.am b/tests/Makefile.am
index 1b0c7d3..498c1db 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -60,7 +60,7 @@ check_PROGRAMS = arextract arsymtest newfile saridx scnnames 
sectiondump \
  fillfile dwarf_default_lower_bound dwarf-die-addr-die \
  get-units-invalid get-units-split attr-integrate-skel \
  all-dwarf-ranges unit-info next_cfi \
- elfcopy addsections
+ elfcopy addsections xlate_notes
 
 asm_TESTS = asm-tst1 asm-tst2 asm-tst3 asm-tst4 asm-tst5 \
asm-tst6 asm-tst7 asm-tst8 asm-tst9
@@ -159,7 +159,7 @@ TESTS = run-arextract.sh run-arsymtest.sh run-ar.sh newfile 
test-nlist \
run-next-cfi.sh run-next-cfi-self.sh \
run-copyadd-sections.sh run-copymany-sections.sh \
run-typeiter-many.sh run-strip-test-many.sh \
-   run-strip-version.sh
+   run-strip-version.sh run-xlate-note.sh
 
 if !BIARCH
 export ELFUTILS_DISABLE_BIARCH = 1
@@ -423,7 +423,8 @@ EXTRA_DIST = run-arextract.sh run-arsymtest.sh run-ar.sh \
 testfile-debug-rel-ppc64-g.o.bz2 \
 testfile-debug-rel-ppc64-z.o.bz2 \
 testfile-debug-rel-ppc64.o.bz2 \
-run-strip-version.sh testfile-version.bz2
+run-strip-version.sh testfile-version.bz2 \
+run-xlate-note.sh
 
 if USE_VALGRIND
 valgrind_cmd='valgrind -q --leak-check=full --error-exitcode=1'
@@ -593,6 +594,7 @@ unit_info_LDADD = $(libdw)
 next_cfi_LDADD = $(libelf) $(libdw)
 elfcopy_LDADD = $(libelf)
 addsections_LDADD = $(libelf)
+xlate_notes_LDADD = $(libelf)
 
 # We want to test the libelf header against the system elf.h header.
 # Don't include any -I CPPFLAGS. Except when we install our own elf.h.
diff --git a/tests/run-xlate-note.sh b/tests/run-xlate-note.sh
new file mode 100755
index 000..a907418
--- /dev/null
+++ b/tests/run-xlate-note.sh
@@ -0,0 +1,93 @@
+# Copyright (C) 2019 Red Hat, Inc.
+# This file is part of elfutils.
+#
+# This file is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# elfutils is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License 

[COMMITTED] tests: Don't printf a known NULL symname.

2019-04-30 Thread Mark Wielaard
GCC9 on 32bit systems might warn about '%s' directive argument is null
for symname in backtrace.c. Just check whether symname is NULL.

Signed-off-by: Mark Wielaard 
---
 tests/ChangeLog   | 4 
 tests/backtrace.c | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/tests/ChangeLog b/tests/ChangeLog
index 71aa178..a4f5dd3 100644
--- a/tests/ChangeLog
+++ b/tests/ChangeLog
@@ -1,3 +1,7 @@
+2019-04-30  Mark Wielaard  
+
+   * backtrace.c (frame_callback): Explicitly check symname is NULL.
+
 2019-03-04  Mark Wielaard  
 
* backtrace.c (tgkill): Remove define.
diff --git a/tests/backtrace.c b/tests/backtrace.c
index ecf5583..36c8b8c 100644
--- a/tests/backtrace.c
+++ b/tests/backtrace.c
@@ -185,7 +185,7 @@ frame_callback (Dwfl_Frame *state, void *frame_arg)
 symname = dwfl_module_addrname (mod, pc_adjusted);
 
   printf ("#%2d %#" PRIx64 "%4s\t%s\n", *framenop, (uint64_t) pc,
- ! isactivation ? "- 1" : "", symname);
+ ! isactivation ? "- 1" : "", symname ?: "");
   pid_t tid = dwfl_thread_tid (thread);
   callback_verify (tid, *framenop, pc, symname, dwfl);
   (*framenop)++;
-- 
1.8.3.1



Re: [PATCH] libelf: If xlate can only convert the ELF note header, just do that.

2019-04-30 Thread Mark Wielaard
On Tue, Apr 30, 2019 at 01:24:48PM +0200, Mark Wielaard wrote:
> When we started parsing new style ELF_T_NHDR8 notes we added extra
> checks on alignment and padding. When those failed we would stop
> converting and just return the rest of the ELF Note unconverted.
> In the case were we just had enough data for just the ELF Note header
> and the destionation and source weren't the same we would then
> accidentially throw away the Note header conversion we just did.
> 
> Fix that by indicating we did correctly convert just the header.
> 
> Adds testcase that compares parsing ELF notes with gelf_getnote
> and parsing the raw data by hand using elf32_xlatetom using just
> the Note header and ignoring the (raw) note data.

Here is a small update that adds a ChangeLog entry for the libelf
change, and also updates the src and dest pointers so that things keep
working even if the len is slightly larger than just the ELF Note
header, but one of the alignment or padding sanity checks fails.


>From 28b5f578ae772bb2404c3847e4e22ad1c407af54 Mon Sep 17 00:00:00 2001
From: Mark Wielaard 
Date: Tue, 30 Apr 2019 13:00:17 +0200
Subject: [PATCH] libelf: If xlate can only convert the ELF note header, just
 do that.

When we started parsing new style ELF_T_NHDR8 notes we added extra
checks on alignment and padding. When those failed we would stop
converting and just return the rest of the ELF Note unconverted.
In the case were we just had enough data for just the ELF Note header
and the destionation and source weren't the same we would then
accidentially throw away the Note header conversion we just did.

Fix that by indicating we did correctly convert just the header.

Adds testcase that compares parsing ELF notes with gelf_getnote
and parsing the raw data by hand using elf32_xlatetom using just
the Note header and ignoring the (raw) note data.

Signed-off-by: Mark Wielaard 
---
 libelf/ChangeLog|   5 ++
 libelf/note_xlate.h |  16 +++-
 tests/ChangeLog |   9 +++
 tests/Makefile.am   |   8 +-
 tests/run-xlate-note.sh |  93 
 tests/xlate_notes.c | 157 
 6 files changed, 283 insertions(+), 5 deletions(-)
 create mode 100755 tests/run-xlate-note.sh
 create mode 100644 tests/xlate_notes.c

diff --git a/libelf/ChangeLog b/libelf/ChangeLog
index d3bdac3d4..5eadaf76b 100644
--- a/libelf/ChangeLog
+++ b/libelf/ChangeLog
@@ -1,3 +1,8 @@
+2019-04-30  Mark Wielaard  
+
+	* note_xlate.h (elf_cvt_note): Indicate we only translated the note
+	header if we ran out of data by updating len, src and dest.
+
 2019-04-01  Mao Han  
 
 	* elf.h: Update from glibc.
diff --git a/libelf/note_xlate.h b/libelf/note_xlate.h
index bc9950ffb..7e2784b05 100644
--- a/libelf/note_xlate.h
+++ b/libelf/note_xlate.h
@@ -47,13 +47,25 @@ elf_cvt_note (void *dest, const void *src, size_t len, int encode,
   note_len += n->n_namesz;
   note_len = nhdr8 ? NOTE_ALIGN8 (note_len) : NOTE_ALIGN4 (note_len);
   if (note_len > len || note_len < sizeof *n)
-	break;
+	{
+	  /* Header was translated, nothing else.  */
+	  len -= sizeof *n;
+	  src += sizeof *n;
+	  dest += sizeof *n;
+	  break;
+	}
 
   /* data as a whole needs to be aligned.  */
   note_len += n->n_descsz;
   note_len = nhdr8 ? NOTE_ALIGN8 (note_len) : NOTE_ALIGN4 (note_len);
   if (note_len > len || note_len < sizeof *n)
-	break;
+	{
+	  /* Header was translated, nothing else.  */
+	  len -= sizeof *n;
+	  src += sizeof *n;
+	  dest += sizeof *n;
+	  break;
+	}
 
   /* Copy or skip the note data.  */
   size_t note_data_len = note_len - sizeof *n;
diff --git a/tests/ChangeLog b/tests/ChangeLog
index 71aa178d3..761edd0b4 100644
--- a/tests/ChangeLog
+++ b/tests/ChangeLog
@@ -1,3 +1,12 @@
+2019-04-30  Mark Wielaard  
+
+	* xlate_notes.c: New file.
+	* run-xlate-note.sh: New test.
+	* Makefile.am (check_PROGRAMS): Add xlate_notes.
+	(TESTS): Add run-xlate-note.sh.
+	(EXTRA_DIST): Likewise.
+	(xlate_notes_LDADD): New variable.
+
 2019-03-04  Mark Wielaard  
 
 	* backtrace.c (tgkill): Remove define.
diff --git a/tests/Makefile.am b/tests/Makefile.am
index 1b0c7d333..498c1db26 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -60,7 +60,7 @@ check_PROGRAMS = arextract arsymtest newfile saridx scnnames sectiondump \
 		  fillfile dwarf_default_lower_bound dwarf-die-addr-die \
 		  get-units-invalid get-units-split attr-integrate-skel \
 		  all-dwarf-ranges unit-info next_cfi \
-		  elfcopy addsections
+		  elfcopy addsections xlate_notes
 
 asm_TESTS = asm-tst1 asm-tst2 asm-tst3 asm-tst4 asm-tst5 \
 	asm-tst6 asm-tst7 asm-tst8 asm-tst9
@@ -159,7 +159,7 @@ TESTS = run-arextract.sh run-arsymtest.sh run-ar.sh newfile test-nlist \
 	run-next-cfi.sh run-next-cfi-self.sh \
 	run-copyadd-sections.sh run-copymany-sections.sh \
 	run-typeiter-many.sh run-strip-test-many.sh \
-	run-strip-version.sh
+	run-strip-version.sh run-xlate-note.sh
 
 if !BIARCH
 export ELFUTILS_DISABLE_BIARC