Blame SOURCES/0456-video-readers-png-Abort-sooner-if-a-read-operation-f.patch

d18179
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
d18179
From: Daniel Axtens <dja@axtens.net>
d18179
Date: Tue, 6 Jul 2021 14:02:55 +1000
d18179
Subject: [PATCH] video/readers/png: Abort sooner if a read operation fails
d18179
d18179
Fuzzing revealed some inputs that were taking a long time, potentially
d18179
forever, because they did not bail quickly upon encountering an I/O error.
d18179
d18179
Try to catch I/O errors sooner and bail out.
d18179
d18179
Signed-off-by: Daniel Axtens <dja@axtens.net>
d18179
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
d18179
(cherry picked from commit 882be97d1df6449b9fd4d593f0cb70005fde3494)
d18179
(cherry picked from commit 3f6fc3ebfd58fcdb3fe6c2f7a5a4fa05772ae786)
d18179
(cherry picked from commit aac5b8257d4078c3f764216aeae3367bdc19043f)
d18179
(cherry picked from commit 3cdacdadbe289d3e73a8f58df5db05d8fe4d30c4)
d18179
---
d18179
 grub-core/video/readers/png.c | 55 ++++++++++++++++++++++++++++++++++++-------
d18179
 1 file changed, 47 insertions(+), 8 deletions(-)
d18179
d18179
diff --git a/grub-core/video/readers/png.c b/grub-core/video/readers/png.c
d18179
index 39560f56fd..70beff905e 100644
d18179
--- a/grub-core/video/readers/png.c
d18179
+++ b/grub-core/video/readers/png.c
d18179
@@ -142,6 +142,7 @@ static grub_uint8_t
d18179
 grub_png_get_byte (struct grub_png_data *data)
d18179
 {
d18179
   grub_uint8_t r;
d18179
+  grub_ssize_t bytes_read = 0;
d18179
 
d18179
   if ((data->inside_idat) && (data->idat_remain == 0))
d18179
     {
d18179
@@ -175,7 +176,14 @@ grub_png_get_byte (struct grub_png_data *data)
d18179
     }
d18179
 
d18179
   r = 0;
d18179
-  grub_file_read (data->file, &r, 1);
d18179
+  bytes_read = grub_file_read (data->file, &r, 1);
d18179
+
d18179
+  if (bytes_read != 1)
d18179
+    {
d18179
+      grub_error (GRUB_ERR_BAD_FILE_TYPE,
d18179
+		  "png: unexpected end of data");
d18179
+      return 0;
d18179
+    }
d18179
 
d18179
   if (data->inside_idat)
d18179
     data->idat_remain--;
d18179
@@ -231,15 +239,16 @@ grub_png_decode_image_palette (struct grub_png_data *data,
d18179
   if (len == 0 || len % 3 != 0)
d18179
     return GRUB_ERR_NONE;
d18179
 
d18179
-  for (i = 0; 3 * i < len && i < 256; i++)
d18179
+  grub_errno = GRUB_ERR_NONE;
d18179
+  for (i = 0; 3 * i < len && i < 256 && grub_errno == GRUB_ERR_NONE; i++)
d18179
     for (j = 0; j < 3; j++)
d18179
       data->palette[i][j] = grub_png_get_byte (data);
d18179
-  for (i *= 3; i < len; i++)
d18179
+  for (i *= 3; i < len && grub_errno == GRUB_ERR_NONE; i++)
d18179
     grub_png_get_byte (data);
d18179
 
d18179
   grub_png_get_dword (data);
d18179
 
d18179
-  return GRUB_ERR_NONE;
d18179
+  return grub_errno;
d18179
 }
d18179
 
d18179
 static grub_err_t
d18179
@@ -256,9 +265,13 @@ grub_png_decode_image_header (struct grub_png_data *data)
d18179
     return grub_error (GRUB_ERR_BAD_FILE_TYPE, "png: invalid image size");
d18179
 
d18179
   color_bits = grub_png_get_byte (data);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
   data->is_16bit = (color_bits == 16);
d18179
 
d18179
   color_type = grub_png_get_byte (data);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
 
d18179
   /* According to PNG spec, no other types are valid.  */
d18179
   if ((color_type & ~(PNG_COLOR_MASK_ALPHA | PNG_COLOR_MASK_COLOR))
d18179
@@ -340,14 +353,20 @@ grub_png_decode_image_header (struct grub_png_data *data)
d18179
   if (grub_png_get_byte (data) != PNG_COMPRESSION_BASE)
d18179
     return grub_error (GRUB_ERR_BAD_FILE_TYPE,
d18179
 		       "png: compression method not supported");
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
 
d18179
   if (grub_png_get_byte (data) != PNG_FILTER_TYPE_BASE)
d18179
     return grub_error (GRUB_ERR_BAD_FILE_TYPE,
d18179
 		       "png: filter method not supported");
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
 
d18179
   if (grub_png_get_byte (data) != PNG_INTERLACE_NONE)
d18179
     return grub_error (GRUB_ERR_BAD_FILE_TYPE,
d18179
 		       "png: interlace method not supported");
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
 
d18179
   /* Skip crc checksum.  */
d18179
   grub_png_get_dword (data);
d18179
@@ -449,7 +468,7 @@ grub_png_get_huff_code (struct grub_png_data *data, struct huff_table *ht)
d18179
   int code, i;
d18179
 
d18179
   code = 0;
d18179
-  for (i = 0; i < ht->max_length; i++)
d18179
+  for (i = 0; i < ht->max_length && grub_errno == GRUB_ERR_NONE; i++)
d18179
     {
d18179
       code = (code << 1) + grub_png_get_bits (data, 1);
d18179
       if (code < ht->maxval[i])
d18179
@@ -504,8 +523,14 @@ grub_png_init_dynamic_block (struct grub_png_data *data)
d18179
   grub_uint8_t lens[DEFLATE_HCLEN_MAX];
d18179
 
d18179
   nl = DEFLATE_HLIT_BASE + grub_png_get_bits (data, 5);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
   nd = DEFLATE_HDIST_BASE + grub_png_get_bits (data, 5);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
   nb = DEFLATE_HCLEN_BASE + grub_png_get_bits (data, 4);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
 
d18179
   if ((nl > DEFLATE_HLIT_MAX) || (nd > DEFLATE_HDIST_MAX) ||
d18179
       (nb > DEFLATE_HCLEN_MAX))
d18179
@@ -533,7 +558,7 @@ grub_png_init_dynamic_block (struct grub_png_data *data)
d18179
 			    data->dist_offset);
d18179
 
d18179
   prev = 0;
d18179
-  for (i = 0; i < nl + nd; i++)
d18179
+  for (i = 0; i < nl + nd && grub_errno == GRUB_ERR_NONE; i++)
d18179
     {
d18179
       int n, code;
d18179
       struct huff_table *ht;
d18179
@@ -721,17 +746,21 @@ grub_png_read_dynamic_block (struct grub_png_data *data)
d18179
 	  len = cplens[n];
d18179
 	  if (cplext[n])
d18179
 	    len += grub_png_get_bits (data, cplext[n]);
d18179
+	  if (grub_errno != GRUB_ERR_NONE)
d18179
+	    return grub_errno;
d18179
 
d18179
 	  n = grub_png_get_huff_code (data, &data->dist_table);
d18179
 	  dist = cpdist[n];
d18179
 	  if (cpdext[n])
d18179
 	    dist += grub_png_get_bits (data, cpdext[n]);
d18179
+	  if (grub_errno != GRUB_ERR_NONE)
d18179
+	    return grub_errno;
d18179
 
d18179
 	  pos = data->wp - dist;
d18179
 	  if (pos < 0)
d18179
 	    pos += WSIZE;
d18179
 
d18179
-	  while (len > 0)
d18179
+	  while (len > 0 && grub_errno == GRUB_ERR_NONE)
d18179
 	    {
d18179
 	      data->slide[data->wp] = data->slide[pos];
d18179
 	      grub_png_output_byte (data, data->slide[data->wp]);
d18179
@@ -759,7 +788,11 @@ grub_png_decode_image_data (struct grub_png_data *data)
d18179
   int final;
d18179
 
d18179
   cmf = grub_png_get_byte (data);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
   flg = grub_png_get_byte (data);
d18179
+  if (grub_errno != GRUB_ERR_NONE)
d18179
+    return grub_errno;
d18179
 
d18179
   if ((cmf & 0xF) != Z_DEFLATED)
d18179
     return grub_error (GRUB_ERR_BAD_FILE_TYPE,
d18179
@@ -774,7 +807,11 @@ grub_png_decode_image_data (struct grub_png_data *data)
d18179
       int block_type;
d18179
 
d18179
       final = grub_png_get_bits (data, 1);
d18179
+      if (grub_errno != GRUB_ERR_NONE)
d18179
+	return grub_errno;
d18179
       block_type = grub_png_get_bits (data, 2);
d18179
+      if (grub_errno != GRUB_ERR_NONE)
d18179
+	return grub_errno;
d18179
 
d18179
       switch (block_type)
d18179
 	{
d18179
@@ -790,7 +827,7 @@ grub_png_decode_image_data (struct grub_png_data *data)
d18179
 	    grub_png_get_byte (data);
d18179
 	    grub_png_get_byte (data);
d18179
 
d18179
-	    for (i = 0; i < len; i++)
d18179
+	    for (i = 0; i < len && grub_errno == GRUB_ERR_NONE; i++)
d18179
 	      grub_png_output_byte (data, grub_png_get_byte (data));
d18179
 
d18179
 	    break;
d18179
@@ -1034,6 +1071,8 @@ grub_png_decode_png (struct grub_png_data *data)
d18179
 
d18179
       len = grub_png_get_dword (data);
d18179
       type = grub_png_get_dword (data);
d18179
+      if (grub_errno != GRUB_ERR_NONE)
d18179
+	break;
d18179
       data->next_offset = data->file->offset + len + 4;
d18179
 
d18179
       switch (type)