libtiff/tif_open.c:499: error: Integer Overflow L2
  ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFCleanup`.

libtiff/tif_open.c:499:9: Call
497. bad:
498. 	tif->tif_mode = O_RDONLY;	/* XXX avoid flush */
499.         TIFFCleanup(tif);
             ^
500. bad2:
501. 	return ((TIFF*)0);

libtiff/tif_close.c:44:1: Parameter `tif->tif_dir.td_imagewidth`
  42.  */
  43. 
  44. void
      ^
  45. TIFFCleanup(TIFF* tif)
  46. {

libtiff/tif_close.c:51:3: Call
  49.          */
  50. 	if (tif->tif_mode != O_RDONLY)
  51. 		TIFFFlush(tif);
        ^
  52. 	(*tif->tif_cleanup)(tif);
  53. 	TIFFFreeDirectory(tif);

libtiff/tif_flush.c:30:1: Parameter `tif->tif_dir.td_imagewidth`
    28. #include "tiffiop.h"
    29. 
    30. int
        ^
    31. TIFFFlush(TIFF* tif)
    32. {

libtiff/tif_flush.c:48:13: Call
    46.         && tif->tif_mode == O_RDWR )
    47.     {
    48.         if( TIFFForceStrileArrayWriting(tif) )
                    ^
    49.             return 1;
    50.     }

libtiff/tif_flush.c:78:1: Parameter `tif->tif_dir.td_imagewidth`
      76.  * Returns 1 in case of success, 0 otherwise.
      77.  */
      78. int TIFFForceStrileArrayWriting(TIFF* tif)
          ^
      79. {
      80.     static const char module[] = "TIFFForceStrileArrayWriting";

libtiff/tif_flush.c:120:55: Call
      118.         }
      119. 
      120.         if (tif->tif_dir.td_stripoffset_p == NULL && !TIFFSetupStrips(tif))
                                                                 ^
      121.             return 0;
      122.     }

libtiff/tif_write.c:522:1: Parameter `tif->tif_dir.td_imagewidth`
        520.     (TIFFFieldSet(tif,f) && (tif)->tif_dir.td_imagelength == 0)
        521. 
        522. int
             ^
        523. TIFFSetupStrips(TIFF* tif)
        524. {

libtiff/tif_write.c:530:29: Call
        528. 		td->td_stripsperimage =
        529. 		    isUnspecified(tif, FIELD_TILEDIMENSIONS) ?
        530. 			td->td_samplesperpixel : TIFFNumberOfTiles(tif);
                                         ^
        531. 	else
        532. 		td->td_stripsperimage =

libtiff/tif_tile.c:112:1: <LHS trace>
110.  * Compute how many tiles are in an image.
111.  */
112. uint32
     ^
113. TIFFNumberOfTiles(TIFF* tif)
114. {

libtiff/tif_tile.c:112:1: Parameter `tif->tif_dir.td_imagewidth`
          110.  * Compute how many tiles are in an image.
          111.  */
          112. uint32
               ^
          113. TIFFNumberOfTiles(TIFF* tif)
          114. {

libtiff/tif_tile.c:112:1: <RHS trace>
110.  * Compute how many tiles are in an image.
111.  */
112. uint32
     ^
113. TIFFNumberOfTiles(TIFF* tif)
114. {

libtiff/tif_tile.c:112:1: Parameter `tif->tif_dir.td_imagewidth`
          110.  * Compute how many tiles are in an image.
          111.  */
          112. uint32
               ^
          113. TIFFNumberOfTiles(TIFF* tif)
          114. {

libtiff/tif_tile.c:128:48: Binary operation: ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFCleanup` 
          126. 		dz = td->td_imagedepth;
          127. 	ntiles = (dx == 0 || dy == 0 || dz == 0) ? 0 :
          128. 	    _TIFFMultiply32(tif, _TIFFMultiply32(tif, TIFFhowmany_32(td->td_imagewidth, dx),
                                                              ^
          129. 	    TIFFhowmany_32(td->td_imagelength, dy),
          130. 	    "TIFFNumberOfTiles"),
