libtiff/tif_getimage.c:853: error: Integer Overflow L2
  ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFReadTile`.

libtiff/tif_getimage.c:809:33: Call
807.                         if( buf == NULL )
808.                         {
809.                             if (_TIFFReadTileAndAllocBuffer(
                                     ^
810.                                     tif, (void**) &buf, bufsize, col,
811.                                     row+img->row_offset,0,0)==(tmsize_t)(-1)

libtiff/tif_read.c:1021:1: Parameter `tif->tif_dir.td_imagewidth`
  1019.  * * calls regular TIFFReadEncodedTile() if *buf != NULL
  1020.  */
  1021. tmsize_t
        ^
  1022. _TIFFReadTileAndAllocBuffer(TIFF* tif,
  1023.                             void **buf, tmsize_t bufsizetoalloc,

libtiff/tif_getimage.c:809:33: Call
807.                         if( buf == NULL )
808.                         {
809.                             if (_TIFFReadTileAndAllocBuffer(
                                     ^
810.                                     tif, (void**) &buf, bufsize, col,
811.                                     row+img->row_offset,0,0)==(tmsize_t)(-1)

libtiff/tif_read.c:1021:1: Parameter `tif->tif_dir.td_imagewidth`
  1019.  * * calls regular TIFFReadEncodedTile() if *buf != NULL
  1020.  */
  1021. tmsize_t
        ^
  1022. _TIFFReadTileAndAllocBuffer(TIFF* tif,
  1023.                             void **buf, tmsize_t bufsizetoalloc,

libtiff/tif_getimage.c:809:33: Call
807.                         if( buf == NULL )
808.                         {
809.                             if (_TIFFReadTileAndAllocBuffer(
                                     ^
810.                                     tif, (void**) &buf, bufsize, col,
811.                                     row+img->row_offset,0,0)==(tmsize_t)(-1)

libtiff/tif_read.c:1021:1: Parameter `tif->tif_dir.td_imagewidth`
  1019.  * * calls regular TIFFReadEncodedTile() if *buf != NULL
  1020.  */
  1021. tmsize_t
        ^
  1022. _TIFFReadTileAndAllocBuffer(TIFF* tif,
  1023.                             void **buf, tmsize_t bufsizetoalloc,

libtiff/tif_getimage.c:853:32: Call
851. 			}
852. 			if (alpha
853.                             && TIFFReadTile(tif,pa,col,  
                                    ^
854.                                             row+img->row_offset,0,colorchannels) == (tmsize_t)(-1) 
855.                             && img->stoponerr)

libtiff/tif_read.c:957:1: Parameter `tif->tif_dir.td_imagewidth`
  955.  * tile is selected by the (x,y,z,s) coordinates.
  956.  */
  957. tmsize_t
       ^
  958. TIFFReadTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
  959. {

libtiff/tif_read.c:960:33: Call
  958. TIFFReadTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
  959. {
  960. 	if (!TIFFCheckRead(tif, 1) || !TIFFCheckTile(tif, x, y, z, s))
                                       ^
  961. 		return ((tmsize_t)(-1));
  962. 	return (TIFFReadEncodedTile(tif,

libtiff/tif_tile.c:72:1: Parameter `x`
    70.  * against the image bounds.
    71.  */
    72. int
        ^
    73. TIFFCheckTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
    74. {

libtiff/tif_read.c:963:6: Call
  961. 		return ((tmsize_t)(-1));
  962. 	return (TIFFReadEncodedTile(tif,
  963. 	    TIFFComputeTile(tif, x, y, z, s), buf, (tmsize_t)(-1)));
            ^
  964. }
  965. 

libtiff/tif_tile.c:35:1: <LHS trace>
33.  * Compute which tile an (x,y,z,s) value is in.
34.  */
35. uint32
    ^
36. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
37. {

libtiff/tif_tile.c:35:1: Parameter `tif->tif_dir.td_imagewidth`
    33.  * Compute which tile an (x,y,z,s) value is in.
    34.  */
    35. uint32
        ^
    36. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
    37. {

libtiff/tif_tile.c:35:1: <RHS trace>
33.  * Compute which tile an (x,y,z,s) value is in.
34.  */
35. uint32
    ^
36. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
37. {

libtiff/tif_tile.c:35:1: Parameter `tif->tif_dir.td_imagewidth`
    33.  * Compute which tile an (x,y,z,s) value is in.
    34.  */
    35. uint32
        ^
    36. TIFFComputeTile(TIFF* tif, uint32 x, uint32 y, uint32 z, uint16 s)
    37. {

libtiff/tif_tile.c:53:16: Binary operation: ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFReadTile` 
    51. 		dz = td->td_imagedepth;
    52. 	if (dx != 0 && dy != 0 && dz != 0) {
    53. 		uint32 xpt = TIFFhowmany_32(td->td_imagewidth, dx);
                       ^
    54. 		uint32 ypt = TIFFhowmany_32(td->td_imagelength, dy);
    55. 		uint32 zpt = TIFFhowmany_32(td->td_imagedepth, dz);
