tools/tiffcp.c:146: error: Integer Overflow L2
  ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFClose`.

tools/tiffcp.c:145:9: Call
143. 		if (tif) {
144. 			**imageSpec = comma;  /* replace the comma */
145. 			if (!nextSrcImage(tif, imageSpec)) {
             ^
146. 				TIFFClose (tif);
147. 				tif = NULL;

tools/tiffcp.c:97:1: Parameter `tif->tif_dir.td_imagewidth`
  95. static int pageInSeq = 0;
  96. 
  97. static int nextSrcImage (TIFF *tif, char **imageSpec)
      ^
  98. /*
  99.   seek to the next image specified in *imageSpec

tools/tiffcp.c:146:5: Call
144. 			**imageSpec = comma;  /* replace the comma */
145. 			if (!nextSrcImage(tif, imageSpec)) {
146. 				TIFFClose (tif);
         ^
147. 				tif = NULL;
148. 			}

libtiff/tif_close.c:120:1: Parameter `tif->tif_dir.td_imagewidth`
  118.  */
  119. 
  120. void
       ^
  121. TIFFClose(TIFF* tif)
  122. {

libtiff/tif_close.c:126:2: Call
  124. 	thandle_t fd = tif->tif_clientdata;
  125. 
  126. 	TIFFCleanup(tif);
        ^
  127. 	(void) (*closeproc)(fd);
  128. }

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 `TIFFClose` 
            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"),
