From 19485196044b2521af979f1e5c4a89bfb90fba0b Mon Sep 17 00:00:00 2001 From: Nick Clifton Date: Wed, 27 Sep 2017 10:42:51 +0100 Subject: Prevent an infinite loop in the DWARF parsing code when encountering a CU structure with a small negative size. PR 22219 * dwarf.c (process_debug_info): Add a check for a negative cu_length field. --- binutils/dwarf.c | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'binutils/dwarf.c') diff --git a/binutils/dwarf.c b/binutils/dwarf.c index edc65aa..7ded1bf 100644 --- a/binutils/dwarf.c +++ b/binutils/dwarf.c @@ -2591,7 +2591,7 @@ process_debug_info (struct dwarf_section *section, int level, last_level, saved_level; dwarf_vma cu_offset; unsigned int offset_size; - int initial_length_size; + unsigned int initial_length_size; dwarf_vma signature_high = 0; dwarf_vma signature_low = 0; dwarf_vma type_offset = 0; @@ -2739,6 +2739,15 @@ process_debug_info (struct dwarf_section *section, num_units = unit; break; } + else if (compunit.cu_length + initial_length_size < initial_length_size) + { + warn (_("Debug info is corrupted, length of CU at %s is negative (%s)\n"), + dwarf_vmatoa ("x", cu_offset), + dwarf_vmatoa ("x", compunit.cu_length)); + num_units = unit; + break; + } + tags = hdrptr; start += compunit.cu_length + initial_length_size; -- cgit v1.1