|
 |
6456d8 |
Upstream patch for CVE-2012-4447. This also covers an out-of-bounds-read
|
|
|
6456d8 |
possibility in the same file, which wasn't given a separate CVE.
|
|
|
6456d8 |
|
|
|
6456d8 |
|
|
|
6456d8 |
diff -Naur tiff-3.9.4.orig/libtiff/tif_pixarlog.c tiff-3.9.4/libtiff/tif_pixarlog.c
|
|
|
6456d8 |
--- tiff-3.9.4.orig/libtiff/tif_pixarlog.c 2010-06-08 14:50:42.000000000 -0400
|
|
|
6456d8 |
+++ tiff-3.9.4/libtiff/tif_pixarlog.c 2012-12-10 15:50:14.421538317 -0500
|
|
|
6456d8 |
@@ -117,9 +117,9 @@
|
|
|
6456d8 |
if (n >= stride) {
|
|
|
6456d8 |
mask = CODE_MASK;
|
|
|
6456d8 |
if (stride == 3) {
|
|
|
6456d8 |
- t0 = ToLinearF[cr = wp[0]];
|
|
|
6456d8 |
- t1 = ToLinearF[cg = wp[1]];
|
|
|
6456d8 |
- t2 = ToLinearF[cb = wp[2]];
|
|
|
6456d8 |
+ t0 = ToLinearF[cr = (wp[0] & mask)];
|
|
|
6456d8 |
+ t1 = ToLinearF[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ t2 = ToLinearF[cb = (wp[2] & mask)];
|
|
|
6456d8 |
op[0] = t0;
|
|
|
6456d8 |
op[1] = t1;
|
|
|
6456d8 |
op[2] = t2;
|
|
|
6456d8 |
@@ -136,10 +136,10 @@
|
|
|
6456d8 |
op[2] = t2;
|
|
|
6456d8 |
}
|
|
|
6456d8 |
} else if (stride == 4) {
|
|
|
6456d8 |
- t0 = ToLinearF[cr = wp[0]];
|
|
|
6456d8 |
- t1 = ToLinearF[cg = wp[1]];
|
|
|
6456d8 |
- t2 = ToLinearF[cb = wp[2]];
|
|
|
6456d8 |
- t3 = ToLinearF[ca = wp[3]];
|
|
|
6456d8 |
+ t0 = ToLinearF[cr = (wp[0] & mask)];
|
|
|
6456d8 |
+ t1 = ToLinearF[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ t2 = ToLinearF[cb = (wp[2] & mask)];
|
|
|
6456d8 |
+ t3 = ToLinearF[ca = (wp[3] & mask)];
|
|
|
6456d8 |
op[0] = t0;
|
|
|
6456d8 |
op[1] = t1;
|
|
|
6456d8 |
op[2] = t2;
|
|
|
6456d8 |
@@ -183,9 +183,9 @@
|
|
|
6456d8 |
if (n >= stride) {
|
|
|
6456d8 |
mask = CODE_MASK;
|
|
|
6456d8 |
if (stride == 3) {
|
|
|
6456d8 |
- t0 = ToLinearF[cr = wp[0]] * SCALE12;
|
|
|
6456d8 |
- t1 = ToLinearF[cg = wp[1]] * SCALE12;
|
|
|
6456d8 |
- t2 = ToLinearF[cb = wp[2]] * SCALE12;
|
|
|
6456d8 |
+ t0 = ToLinearF[cr = (wp[0] & mask)] * SCALE12;
|
|
|
6456d8 |
+ t1 = ToLinearF[cg = (wp[1] & mask)] * SCALE12;
|
|
|
6456d8 |
+ t2 = ToLinearF[cb = (wp[2] & mask)] * SCALE12;
|
|
|
6456d8 |
op[0] = CLAMP12(t0);
|
|
|
6456d8 |
op[1] = CLAMP12(t1);
|
|
|
6456d8 |
op[2] = CLAMP12(t2);
|
|
|
6456d8 |
@@ -202,10 +202,10 @@
|
|
|
6456d8 |
op[2] = CLAMP12(t2);
|
|
|
6456d8 |
}
|
|
|
6456d8 |
} else if (stride == 4) {
|
|
|
6456d8 |
- t0 = ToLinearF[cr = wp[0]] * SCALE12;
|
|
|
6456d8 |
- t1 = ToLinearF[cg = wp[1]] * SCALE12;
|
|
|
6456d8 |
- t2 = ToLinearF[cb = wp[2]] * SCALE12;
|
|
|
6456d8 |
- t3 = ToLinearF[ca = wp[3]] * SCALE12;
|
|
|
6456d8 |
+ t0 = ToLinearF[cr = (wp[0] & mask)] * SCALE12;
|
|
|
6456d8 |
+ t1 = ToLinearF[cg = (wp[1] & mask)] * SCALE12;
|
|
|
6456d8 |
+ t2 = ToLinearF[cb = (wp[2] & mask)] * SCALE12;
|
|
|
6456d8 |
+ t3 = ToLinearF[ca = (wp[3] & mask)] * SCALE12;
|
|
|
6456d8 |
op[0] = CLAMP12(t0);
|
|
|
6456d8 |
op[1] = CLAMP12(t1);
|
|
|
6456d8 |
op[2] = CLAMP12(t2);
|
|
|
6456d8 |
@@ -247,9 +247,9 @@
|
|
|
6456d8 |
if (n >= stride) {
|
|
|
6456d8 |
mask = CODE_MASK;
|
|
|
6456d8 |
if (stride == 3) {
|
|
|
6456d8 |
- op[0] = ToLinear16[cr = wp[0]];
|
|
|
6456d8 |
- op[1] = ToLinear16[cg = wp[1]];
|
|
|
6456d8 |
- op[2] = ToLinear16[cb = wp[2]];
|
|
|
6456d8 |
+ op[0] = ToLinear16[cr = (wp[0] & mask)];
|
|
|
6456d8 |
+ op[1] = ToLinear16[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ op[2] = ToLinear16[cb = (wp[2] & mask)];
|
|
|
6456d8 |
n -= 3;
|
|
|
6456d8 |
while (n > 0) {
|
|
|
6456d8 |
wp += 3;
|
|
|
6456d8 |
@@ -260,10 +260,10 @@
|
|
|
6456d8 |
op[2] = ToLinear16[(cb += wp[2]) & mask];
|
|
|
6456d8 |
}
|
|
|
6456d8 |
} else if (stride == 4) {
|
|
|
6456d8 |
- op[0] = ToLinear16[cr = wp[0]];
|
|
|
6456d8 |
- op[1] = ToLinear16[cg = wp[1]];
|
|
|
6456d8 |
- op[2] = ToLinear16[cb = wp[2]];
|
|
|
6456d8 |
- op[3] = ToLinear16[ca = wp[3]];
|
|
|
6456d8 |
+ op[0] = ToLinear16[cr = (wp[0] & mask)];
|
|
|
6456d8 |
+ op[1] = ToLinear16[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ op[2] = ToLinear16[cb = (wp[2] & mask)];
|
|
|
6456d8 |
+ op[3] = ToLinear16[ca = (wp[3] & mask)];
|
|
|
6456d8 |
n -= 4;
|
|
|
6456d8 |
while (n > 0) {
|
|
|
6456d8 |
wp += 4;
|
|
|
6456d8 |
@@ -342,9 +342,9 @@
|
|
|
6456d8 |
if (n >= stride) {
|
|
|
6456d8 |
mask = CODE_MASK;
|
|
|
6456d8 |
if (stride == 3) {
|
|
|
6456d8 |
- op[0] = ToLinear8[cr = wp[0]];
|
|
|
6456d8 |
- op[1] = ToLinear8[cg = wp[1]];
|
|
|
6456d8 |
- op[2] = ToLinear8[cb = wp[2]];
|
|
|
6456d8 |
+ op[0] = ToLinear8[cr = (wp[0] & mask)];
|
|
|
6456d8 |
+ op[1] = ToLinear8[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ op[2] = ToLinear8[cb = (wp[2] & mask)];
|
|
|
6456d8 |
n -= 3;
|
|
|
6456d8 |
while (n > 0) {
|
|
|
6456d8 |
n -= 3;
|
|
|
6456d8 |
@@ -355,10 +355,10 @@
|
|
|
6456d8 |
op[2] = ToLinear8[(cb += wp[2]) & mask];
|
|
|
6456d8 |
}
|
|
|
6456d8 |
} else if (stride == 4) {
|
|
|
6456d8 |
- op[0] = ToLinear8[cr = wp[0]];
|
|
|
6456d8 |
- op[1] = ToLinear8[cg = wp[1]];
|
|
|
6456d8 |
- op[2] = ToLinear8[cb = wp[2]];
|
|
|
6456d8 |
- op[3] = ToLinear8[ca = wp[3]];
|
|
|
6456d8 |
+ op[0] = ToLinear8[cr = (wp[0] & mask)];
|
|
|
6456d8 |
+ op[1] = ToLinear8[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ op[2] = ToLinear8[cb = (wp[2] & mask)];
|
|
|
6456d8 |
+ op[3] = ToLinear8[ca = (wp[3] & mask)];
|
|
|
6456d8 |
n -= 4;
|
|
|
6456d8 |
while (n > 0) {
|
|
|
6456d8 |
n -= 4;
|
|
|
6456d8 |
@@ -393,9 +393,9 @@
|
|
|
6456d8 |
mask = CODE_MASK;
|
|
|
6456d8 |
if (stride == 3) {
|
|
|
6456d8 |
op[0] = 0;
|
|
|
6456d8 |
- t1 = ToLinear8[cb = wp[2]];
|
|
|
6456d8 |
- t2 = ToLinear8[cg = wp[1]];
|
|
|
6456d8 |
- t3 = ToLinear8[cr = wp[0]];
|
|
|
6456d8 |
+ t1 = ToLinear8[cb = (wp[2] & mask)];
|
|
|
6456d8 |
+ t2 = ToLinear8[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ t3 = ToLinear8[cr = (wp[0] & mask)];
|
|
|
6456d8 |
op[1] = t1;
|
|
|
6456d8 |
op[2] = t2;
|
|
|
6456d8 |
op[3] = t3;
|
|
|
6456d8 |
@@ -413,10 +413,10 @@
|
|
|
6456d8 |
op[3] = t3;
|
|
|
6456d8 |
}
|
|
|
6456d8 |
} else if (stride == 4) {
|
|
|
6456d8 |
- t0 = ToLinear8[ca = wp[3]];
|
|
|
6456d8 |
- t1 = ToLinear8[cb = wp[2]];
|
|
|
6456d8 |
- t2 = ToLinear8[cg = wp[1]];
|
|
|
6456d8 |
- t3 = ToLinear8[cr = wp[0]];
|
|
|
6456d8 |
+ t0 = ToLinear8[ca = (wp[3] & mask)];
|
|
|
6456d8 |
+ t1 = ToLinear8[cb = (wp[2] & mask)];
|
|
|
6456d8 |
+ t2 = ToLinear8[cg = (wp[1] & mask)];
|
|
|
6456d8 |
+ t3 = ToLinear8[cr = (wp[0] & mask)];
|
|
|
6456d8 |
op[0] = t0;
|
|
|
6456d8 |
op[1] = t1;
|
|
|
6456d8 |
op[2] = t2;
|
|
|
6456d8 |
@@ -630,10 +630,10 @@
|
|
|
6456d8 |
return guess;
|
|
|
6456d8 |
}
|
|
|
6456d8 |
|
|
|
6456d8 |
-static uint32
|
|
|
6456d8 |
-multiply(size_t m1, size_t m2)
|
|
|
6456d8 |
+static tsize_t
|
|
|
6456d8 |
+multiply(tsize_t m1, tsize_t m2)
|
|
|
6456d8 |
{
|
|
|
6456d8 |
- uint32 bytes = m1 * m2;
|
|
|
6456d8 |
+ tsize_t bytes = m1 * m2;
|
|
|
6456d8 |
|
|
|
6456d8 |
if (m1 && bytes / m1 != m2)
|
|
|
6456d8 |
bytes = 0;
|
|
|
6456d8 |
@@ -641,6 +641,20 @@
|
|
|
6456d8 |
return bytes;
|
|
|
6456d8 |
}
|
|
|
6456d8 |
|
|
|
6456d8 |
+static tsize_t
|
|
|
6456d8 |
+add_ms(tsize_t m1, tsize_t m2)
|
|
|
6456d8 |
+{
|
|
|
6456d8 |
+ tsize_t bytes = m1 + m2;
|
|
|
6456d8 |
+
|
|
|
6456d8 |
+ /* if either input is zero, assume overflow already occurred */
|
|
|
6456d8 |
+ if (m1 == 0 || m2 == 0)
|
|
|
6456d8 |
+ bytes = 0;
|
|
|
6456d8 |
+ else if (bytes <= m1 || bytes <= m2)
|
|
|
6456d8 |
+ bytes = 0;
|
|
|
6456d8 |
+
|
|
|
6456d8 |
+ return bytes;
|
|
|
6456d8 |
+}
|
|
|
6456d8 |
+
|
|
|
6456d8 |
static int
|
|
|
6456d8 |
PixarLogSetupDecode(TIFF* tif)
|
|
|
6456d8 |
{
|
|
|
6456d8 |
@@ -661,6 +675,8 @@
|
|
|
6456d8 |
td->td_samplesperpixel : 1);
|
|
|
6456d8 |
tbuf_size = multiply(multiply(multiply(sp->stride, td->td_imagewidth),
|
|
|
6456d8 |
td->td_rowsperstrip), sizeof(uint16));
|
|
|
6456d8 |
+ /* add one more stride in case input ends mid-stride */
|
|
|
6456d8 |
+ tbuf_size = add_ms(tbuf_size, sizeof(uint16) * sp->stride);
|
|
|
6456d8 |
if (tbuf_size == 0)
|
|
|
6456d8 |
return (0);
|
|
|
6456d8 |
sp->tbuf = (uint16 *) _TIFFmalloc(tbuf_size);
|