* [COMMITTED] libdw: Check end of attributes list consistently.
@ 2018-08-18 20:08 Mark Wielaard
0 siblings, 0 replies; only message in thread
From: Mark Wielaard @ 2018-08-18 20:08 UTC (permalink / raw)
To: elfutils-devel; +Cc: Mark Wielaard
dwarf_child (__libdw_find_attr), dwarf_getabbrevattr[_data] and
dwarf_getattrs all assume the end of the attribute list is when
both the name (code) and form of the attribute are zero.
dwarf_getabbrev (__libdw_getabbrev) and dwarf_hasattr assume the
end of the attribute list is when either the name (code) or the
form of the attribute is zero.
The DWARF spec says: "The series of attribute specifications ends
with an entry containing 0 for the name and 0 for the form." So
the first check is correct.
Make sure dwarf_getabbrev and dwarf_hasattr use the same check.
This is important since all other functions expect dwarf_getabbrev
(__libdw_getabbrev) to have done a data sanity check of the attribute.
So if the ending condition is different it could cause a crash.
https://sourceware.org/bugzilla/show_bug.cgi?id=23529
Signed-off-by: Mark Wielaard <mark@klomp.org>
---
libdw/ChangeLog | 7 +++++++
libdw/dwarf_getabbrev.c | 2 +-
libdw/dwarf_hasattr.c | 4 ++--
3 files changed, 10 insertions(+), 3 deletions(-)
diff --git a/libdw/ChangeLog b/libdw/ChangeLog
index 472d9228..7cb25923 100644
--- a/libdw/ChangeLog
+++ b/libdw/ChangeLog
@@ -1,3 +1,10 @@
+2018-08-18 Mark Wielaard <mark@klomp.org>
+
+ * dwarf_getabbrev.c (__libdw_getabbrev): Continue until both name
+ and form are zero.
+ * dwarf_hasattr.c (dwarf_hasattr): Stop when both name and form
+ are zero.
+
2018-08-18 Mark Wielaard <mark@klomp.org>
* dwarf_getaranges.c (dwarf_getaranges.c): Make sure there is enough
diff --git a/libdw/dwarf_getabbrev.c b/libdw/dwarf_getabbrev.c
index 988d12c2..6a7e981b 100644
--- a/libdw/dwarf_getabbrev.c
+++ b/libdw/dwarf_getabbrev.c
@@ -140,7 +140,7 @@ __libdw_getabbrev (Dwarf *dbg, struct Dwarf_CU *cu, Dwarf_Off offset,
get_sleb128 (formval, abbrevp, end);
}
}
- while (attrname != 0 && attrform != 0);
+ while (attrname != 0 || attrform != 0);
/* Return the length to the caller if she asked for it. */
if (lengthp != NULL)
diff --git a/libdw/dwarf_hasattr.c b/libdw/dwarf_hasattr.c
index 90053b13..eca08394 100644
--- a/libdw/dwarf_hasattr.c
+++ b/libdw/dwarf_hasattr.c
@@ -60,8 +60,8 @@ dwarf_hasattr (Dwarf_Die *die, unsigned int search_name)
unsigned int attr_form;
get_uleb128_unchecked (attr_form, attrp);
- /* We can stop if we found the attribute with value zero. */
- if (attr_name == 0 || attr_form == 0)
+ /* We can stop if we found the end of the attribute list. */
+ if (attr_name == 0 && attr_form == 0)
return 0;
if (attr_name == search_name)
--
2.18.0
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-08-18 20:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-18 20:08 [COMMITTED] libdw: Check end of attributes list consistently Mark Wielaard
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).