# HG changeset patch # User bae # Date 1366823754 -14400 # Node ID 5d1d50a8143811ac2a600e472fb30d0b1ee58e81 # Parent 7f4796a3f93a819267fd59b5229dafeb0a28c62a 8012438: Better image validation Reviewed-by: prr diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/java/awt/image/ComponentSampleModel.java --- a/jdk/src/share/classes/java/awt/image/ComponentSampleModel.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/java/awt/image/ComponentSampleModel.java Wed Apr 24 21:15:54 2013 +0400 @@ -148,7 +148,7 @@ this.pixelStride = pixelStride; this.scanlineStride = scanlineStride; this.bandOffsets = (int[])bandOffsets.clone(); - numBands = bandOffsets.length; + numBands = this.bandOffsets.length; if (pixelStride < 0) { throw new IllegalArgumentException("Pixel stride must be >= 0"); } @@ -223,24 +223,24 @@ (dataType > DataBuffer.TYPE_DOUBLE)) { throw new IllegalArgumentException("Unsupported dataType."); } - int maxBank = bankIndices[0]; + int maxBank = this.bankIndices[0]; if (maxBank < 0) { throw new IllegalArgumentException("Index of bank 0 is less than "+ "0 ("+maxBank+")"); } - for (int i=1; i < bankIndices.length; i++) { - if (bankIndices[i] > maxBank) { - maxBank = bankIndices[i]; + for (int i=1; i < this.bankIndices.length; i++) { + if (this.bankIndices[i] > maxBank) { + maxBank = this.bankIndices[i]; } - else if (bankIndices[i] < 0) { + else if (this.bankIndices[i] < 0) { throw new IllegalArgumentException("Index of bank "+i+ " is less than 0 ("+ maxBank+")"); } } numBanks = maxBank+1; - numBands = bandOffsets.length; - if (bandOffsets.length != bankIndices.length) { + numBands = this.bandOffsets.length; + if (this.bandOffsets.length != this.bankIndices.length) { throw new IllegalArgumentException("Length of bandOffsets must "+ "equal length of bankIndices."); } diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/java/awt/image/PixelInterleavedSampleModel.java --- a/jdk/src/share/classes/java/awt/image/PixelInterleavedSampleModel.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/java/awt/image/PixelInterleavedSampleModel.java Wed Apr 24 21:15:54 2013 +0400 @@ -85,11 +85,11 @@ int scanlineStride, int bandOffsets[]) { super(dataType, w, h, pixelStride, scanlineStride, bandOffsets); - int minBandOff=bandOffsets[0]; - int maxBandOff=bandOffsets[0]; - for (int i=1; i scanlineStride) { diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/java/awt/image/Raster.java --- a/jdk/src/share/classes/java/awt/image/Raster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/java/awt/image/Raster.java Wed Apr 24 21:15:54 2013 +0400 @@ -257,15 +257,10 @@ int bandOffsets[], Point location) { DataBuffer d; - int bands = bandOffsets.length; - int maxBandOff = bandOffsets[0]; - for (int i=1; i < bands; i++) { - if (bandOffsets[i] > maxBandOff) { - maxBandOff = bandOffsets[i]; - } - } - int size = maxBandOff + scanlineStride*(h-1) + pixelStride*(w-1) + 1; + int size = scanlineStride * (h - 1) + // fisrt (h - 1) scans + pixelStride * w; // last scan + switch(dataType) { case DataBuffer.TYPE_BYTE: d = new DataBufferByte(size); @@ -397,7 +392,8 @@ } } int banks = maxBank + 1; - int size = maxBandOff + scanlineStride*(h-1) + (w-1) + 1; + int size = scanlineStride * (h - 1) + // fisrt (h - 1) scans + w; // last scan switch(dataType) { case DataBuffer.TYPE_BYTE: diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/sun/awt/image/ByteBandedRaster.java --- a/jdk/src/share/classes/sun/awt/image/ByteBandedRaster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/sun/awt/image/ByteBandedRaster.java Wed Apr 24 21:15:54 2013 +0400 @@ -755,6 +755,13 @@ + scanlineStride); } + for (int i = 0; i < data.length; i++) { + if (scanlineStride > data[i].length) { + throw new RasterFormatException("Incorrect scanline stride: " + + scanlineStride); + } + } + // Make sure data for Raster is in a legal range for (int i=0; i < dataOffsets.length; i++) { if (dataOffsets[i] < 0) { @@ -765,19 +772,20 @@ } int lastScanOffset = (height - 1) * scanlineStride; - int lastPixelOffset = lastScanOffset + (width-1); - if (lastPixelOffset < lastScanOffset) { + + if ((width - 1) > (Integer.MAX_VALUE - lastScanOffset)) { throw new RasterFormatException("Invalid raster dimension"); } + int lastPixelOffset = lastScanOffset + (width-1); int maxIndex = 0; int index; for (int i=0; i < numDataElements; i++) { - index = lastPixelOffset + dataOffsets[i]; - if (index < lastPixelOffset) { + if (dataOffsets[i] > (Integer.MAX_VALUE - lastPixelOffset)) { throw new RasterFormatException("Invalid raster dimension"); } + index = lastPixelOffset + dataOffsets[i]; if (index > maxIndex) { maxIndex = index; } diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/sun/awt/image/ByteComponentRaster.java --- a/jdk/src/share/classes/sun/awt/image/ByteComponentRaster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/sun/awt/image/ByteComponentRaster.java Wed Apr 24 21:15:54 2013 +0400 @@ -887,7 +887,8 @@ // we can be sure that width and height are greater than 0 if (scanlineStride < 0 || - scanlineStride > (Integer.MAX_VALUE / height)) + scanlineStride > (Integer.MAX_VALUE / height) || + scanlineStride > data.length) { // integer overflow throw new RasterFormatException("Incorrect scanline stride: " @@ -896,7 +897,8 @@ int lastScanOffset = (height - 1) * scanlineStride; if (pixelStride < 0 || - pixelStride > (Integer.MAX_VALUE / width)) + pixelStride > (Integer.MAX_VALUE / width) || + pixelStride > data.length) { // integer overflow throw new RasterFormatException("Incorrect pixel stride: " diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/sun/awt/image/BytePackedRaster.java --- a/jdk/src/share/classes/sun/awt/image/BytePackedRaster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/sun/awt/image/BytePackedRaster.java Wed Apr 24 21:15:54 2013 +0400 @@ -1387,7 +1387,8 @@ } if (scanlineStride < 0 || - scanlineStride > (Integer.MAX_VALUE / height)) + scanlineStride > (Integer.MAX_VALUE / height) || + scanlineStride > data.length) { throw new RasterFormatException("Invalid scanline stride"); } diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/sun/awt/image/IntegerComponentRaster.java --- a/jdk/src/share/classes/sun/awt/image/IntegerComponentRaster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/sun/awt/image/IntegerComponentRaster.java Wed Apr 24 21:15:54 2013 +0400 @@ -656,7 +656,8 @@ // we can be sure that width and height are greater than 0 if (scanlineStride < 0 || - scanlineStride > (Integer.MAX_VALUE / height)) + scanlineStride > (Integer.MAX_VALUE / height) || + scanlineStride > data.length) { // integer overflow throw new RasterFormatException("Incorrect scanline stride: " @@ -665,7 +666,8 @@ int lastScanOffset = (height - 1) * scanlineStride; if (pixelStride < 0 || - pixelStride > (Integer.MAX_VALUE / width)) + pixelStride > (Integer.MAX_VALUE / width) || + pixelStride > data.length) { // integer overflow throw new RasterFormatException("Incorrect pixel stride: " diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/sun/awt/image/ShortBandedRaster.java --- a/jdk/src/share/classes/sun/awt/image/ShortBandedRaster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/sun/awt/image/ShortBandedRaster.java Wed Apr 24 21:15:54 2013 +0400 @@ -754,6 +754,13 @@ + scanlineStride); } + for (int i = 0; i < data.length; i++) { + if (scanlineStride > data[i].length) { + throw new RasterFormatException("Incorrect scanline stride: " + + scanlineStride); + } + } + // Make sure data for Raster is in a legal range for (int i=0; i < dataOffsets.length; i++) { if (dataOffsets[i] < 0) { @@ -764,19 +771,19 @@ } int lastScanOffset = (height - 1) * scanlineStride; - int lastPixelOffset = lastScanOffset + (width-1); - if (lastPixelOffset < lastScanOffset) { + if ((width - 1) > (Integer.MAX_VALUE - lastScanOffset)) { throw new RasterFormatException("Invalid raster dimension"); } + int lastPixelOffset = lastScanOffset + (width - 1); int maxIndex = 0; int index; for (int i=0; i < numDataElements; i++) { - index = lastPixelOffset + dataOffsets[i]; - if (index < lastPixelOffset) { + if (dataOffsets[i] > (Integer.MAX_VALUE - lastPixelOffset)) { throw new RasterFormatException("Invalid raster dimension"); } + index = lastPixelOffset + dataOffsets[i]; if (index > maxIndex) { maxIndex = index; } diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/classes/sun/awt/image/ShortComponentRaster.java --- a/jdk/src/share/classes/sun/awt/image/ShortComponentRaster.java Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/classes/sun/awt/image/ShortComponentRaster.java Wed Apr 24 21:15:54 2013 +0400 @@ -821,7 +821,8 @@ // we can be sure that width and height are greater than 0 if (scanlineStride < 0 || - scanlineStride > (Integer.MAX_VALUE / height)) + scanlineStride > (Integer.MAX_VALUE / height) || + scanlineStride > data.length) { // integer overflow throw new RasterFormatException("Incorrect scanline stride: " @@ -830,7 +831,8 @@ int lastScanOffset = (height - 1) * scanlineStride; if (pixelStride < 0 || - pixelStride > (Integer.MAX_VALUE / width)) + pixelStride > (Integer.MAX_VALUE / width) || + pixelStride > data.length) { // integer overflow throw new RasterFormatException("Incorrect pixel stride: " diff -r 7f4796a3f93a -r 5d1d50a81438 jdk/src/share/native/sun/awt/medialib/awt_ImagingLib.c --- a/jdk/src/share/native/sun/awt/medialib/awt_ImagingLib.c Tue Apr 23 11:13:38 2013 +0100 +++ b/jdk/src/share/native/sun/awt/medialib/awt_ImagingLib.c Wed Apr 24 21:15:54 2013 +0400 @@ -1177,6 +1177,10 @@ static int indexes[NLUT] = INDEXES; + if (src->width != dst->width || src->height != dst->height) { + return 0; + } + for (y=0; y < src->height; y++) { int nloop, nx; int npix = src->width;