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

libtiff/tif_getimage.c:798:8: Call
796. 		while (tocol < w)
797. 		{
798. 			if (TIFFReadTile(tif, p0, col,  
            ^
799. 			    row+img->row_offset,0,0)==(tmsize_t)(-1) && img->stoponerr)
800. 			{

libtiff/tif_read.c:636:1: Parameter `tif->tif_dir.td_imagewidth`
  634.  * tile is selected by the (x,y,z,s) coordinates.
  635.  */
  636. tmsize_t
       ^
  637. TIFFReadTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
  638. {

libtiff/tif_getimage.c:798:8: Call
796. 		while (tocol < w)
797. 		{
798. 			if (TIFFReadTile(tif, p0, col,  
            ^
799. 			    row+img->row_offset,0,0)==(tmsize_t)(-1) && img->stoponerr)
800. 			{

libtiff/tif_read.c:636:1: Parameter `tif->tif_dir.td_imagewidth`
  634.  * tile is selected by the (x,y,z,s) coordinates.
  635.  */
  636. tmsize_t
       ^
  637. TIFFReadTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
  638. {

libtiff/tif_getimage.c:821:32: Call
819. 			}
820. 			if (alpha
821.                             && TIFFReadTile(tif,pa,col,  
                                    ^
822.                                             row+img->row_offset,0,colorchannels) == (tmsize_t)(-1) 
823.                             && img->stoponerr)

libtiff/tif_read.c:636:1: Parameter `tif->tif_dir.td_imagewidth`
  634.  * tile is selected by the (x,y,z,s) coordinates.
  635.  */
  636. tmsize_t
       ^
  637. TIFFReadTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
  638. {

libtiff/tif_read.c:639:33: Call
  637. TIFFReadTile(TIFF* tif, void* buf, uint32 x, uint32 y, uint32 z, uint16 s)
  638. {
  639. 	if (!TIFFCheckRead(tif, 1) || !TIFFCheckTile(tif, x, y, z, s))
                                       ^
  640. 		return ((tmsize_t)(-1));
  641. 	return (TIFFReadEncodedTile(tif,

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

libtiff/tif_read.c:642:6: Call
  640. 		return ((tmsize_t)(-1));
  641. 	return (TIFFReadEncodedTile(tif,
  642. 	    TIFFComputeTile(tif, x, y, z, s), buf, (tmsize_t)(-1)));
            ^
  643. }
  644. 

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

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

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

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

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