4fe33c
From 24f099951c3a86f04a29adc7b0dda474a3c44722 Mon Sep 17 00:00:00 2001
4fe33c
From: Nils Philippsen <nils@redhat.com>
4fe33c
Date: Wed, 25 Sep 2013 15:04:43 +0200
4fe33c
Subject: [PATCH] CVE-2013-1438: fix various security issues
4fe33c
4fe33c
This fixes division by zero, infinite loop, and null pointer dereference
4fe33c
bugs. Ported from Alex Tutubalin's fix in LibRaw (commit
4fe33c
9ae25d8c3a6bfb40c582538193264f74c9b93bc0).
4fe33c
---
4fe33c
 dcraw.c | 33 ++++++++++++++++++++++++---------
4fe33c
 1 file changed, 24 insertions(+), 9 deletions(-)
4fe33c
4fe33c
diff --git a/dcraw.c b/dcraw.c
4fe33c
index 96e3d1f..dcf284c 100644
4fe33c
--- a/dcraw.c
4fe33c
+++ b/dcraw.c
4fe33c
@@ -828,6 +828,9 @@ int CLASS ljpeg_diff (ushort *huff)
4fe33c
 {
4fe33c
   int len, diff;
4fe33c
 
4fe33c
+  if (!huff)
4fe33c
+    longjmp(failure, 2);
4fe33c
+
4fe33c
   len = gethuff(huff);
4fe33c
   if (len == 16 && (!dng_version || dng_version >= 0x1010000))
4fe33c
     return -32768;
4fe33c
@@ -883,6 +886,8 @@ void CLASS lossless_jpeg_load_raw()
4fe33c
   ushort *rp;
4fe33c
 
4fe33c
   if (!ljpeg_start (&jh, 0)) return;
4fe33c
+  if (jh.wide < 1 || jh.high < 1 || jh.clrs < 1 || jh.bits < 1)
4fe33c
+    longjmp (failure, 2);
4fe33c
   jwide = jh.wide * jh.clrs;
4fe33c
 
4fe33c
   for (jrow=0; jrow < jh.high; jrow++) {
4fe33c
@@ -902,6 +907,8 @@ void CLASS lossless_jpeg_load_raw()
4fe33c
       }
4fe33c
       if (raw_width == 3984 && (col -= 2) < 0)
4fe33c
 	col += (row--,raw_width);
4fe33c
+      if (row > raw_height)
4fe33c
+        longjmp (failure, 3);
4fe33c
       if ((unsigned) row < raw_height) RAW(row,col) = val;
4fe33c
       if (++col >= raw_width)
4fe33c
 	col = (row++,0);
4fe33c
@@ -5444,6 +5451,7 @@ int CLASS parse_tiff_ifd (int base)
4fe33c
 	  data_offset = get4()+base;
4fe33c
 	  ifd++;  break;
4fe33c
 	}
4fe33c
+  if(len > 1000) len=1000; /* 1000 SubIFDs is enough */
4fe33c
 	while (len--) {
4fe33c
 	  i = ftell(ifp);
4fe33c
 	  fseek (ifp, get4()+base, SEEK_SET);
4fe33c
@@ -5662,7 +5670,7 @@ guess_cfa_pc:
4fe33c
 	break;
4fe33c
       case 50715:			/* BlackLevelDeltaH */
4fe33c
       case 50716:			/* BlackLevelDeltaV */
4fe33c
-	for (num=i=0; i < len; i++)
4fe33c
+	for (num=i=0; i < len && i < 65536; i++)
4fe33c
 	  num += getreal(type);
4fe33c
 	black += num/len + 0.5;
4fe33c
 	break;
4fe33c
@@ -5787,9 +5795,13 @@ void CLASS apply_tiff()
4fe33c
   if (thumb_offset) {
4fe33c
     fseek (ifp, thumb_offset, SEEK_SET);
4fe33c
     if (ljpeg_start (&jh, 1)) {
4fe33c
-      thumb_misc   = jh.bits;
4fe33c
-      thumb_width  = jh.wide;
4fe33c
-      thumb_height = jh.high;
4fe33c
+      if ((unsigned)jh.bits < 17 && (unsigned)jh.wide < 0x10000 &&
4fe33c
+          (unsigned)jh.high < 0x10000)
4fe33c
+        {
4fe33c
+          thumb_misc   = jh.bits;
4fe33c
+          thumb_width  = jh.wide;
4fe33c
+          thumb_height = jh.high;
4fe33c
+        }
4fe33c
     }
4fe33c
   }
4fe33c
   for (i=0; i < tiff_nifds; i++) {
4fe33c
@@ -5797,8 +5809,9 @@ void CLASS apply_tiff()
4fe33c
 	max_samp = tiff_ifd[i].samples;
4fe33c
     if (max_samp > 3) max_samp = 3;
4fe33c
     if ((tiff_ifd[i].comp != 6 || tiff_ifd[i].samples != 3) &&
4fe33c
-	(tiff_ifd[i].width | tiff_ifd[i].height) < 0x10000 &&
4fe33c
-	tiff_ifd[i].width*tiff_ifd[i].height > raw_width*raw_height) {
4fe33c
+	      (tiff_ifd[i].width | tiff_ifd[i].height) < 0x10000 &&
4fe33c
+        (unsigned)tiff_ifd[i].bps < 33 && (unsigned)tiff_ifd[i].samples < 13 &&
4fe33c
+        tiff_ifd[i].width*tiff_ifd[i].height > raw_width*raw_height) {
4fe33c
       raw_width     = tiff_ifd[i].width;
4fe33c
       raw_height    = tiff_ifd[i].height;
4fe33c
       tiff_bps      = tiff_ifd[i].bps;
4fe33c
@@ -5884,9 +5897,11 @@ void CLASS apply_tiff()
4fe33c
       is_raw = 0;
4fe33c
   for (i=0; i < tiff_nifds; i++)
4fe33c
     if (i != raw && tiff_ifd[i].samples == max_samp &&
4fe33c
-	tiff_ifd[i].width * tiff_ifd[i].height / (SQR(tiff_ifd[i].bps)+1) >
4fe33c
-	      thumb_width *       thumb_height / (SQR(thumb_misc)+1)
4fe33c
-	&& tiff_ifd[i].comp != 34892) {
4fe33c
+        tiff_ifd[i].bps > 0 && tiff_ifd[i].bps < 33 &&
4fe33c
+        ((unsigned)(tiff_ifd[i].width | tiff_ifd[i].height)) < 0x10000 &&
4fe33c
+        tiff_ifd[i].width * tiff_ifd[i].height / (SQR(tiff_ifd[i].bps)+1) >
4fe33c
+              thumb_width *       thumb_height / (SQR(thumb_misc)+1)
4fe33c
+        && tiff_ifd[i].comp != 34892) {
4fe33c
       thumb_width  = tiff_ifd[i].width;
4fe33c
       thumb_height = tiff_ifd[i].height;
4fe33c
       thumb_offset = tiff_ifd[i].offset;
4fe33c
-- 
4fe33c
1.8.4.2
4fe33c