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

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:120:7: Call
  118. 			}
  119. 		}
  120. 		if (TIFFSetDirectory (tif, nextImage)) return 1;
             ^
  121. 		fprintf (stderr, "%s%c%d not found!\n",
  122. 		    TIFFFileName(tif), comma, (int) nextImage);

libtiff/tif_dir.c:1372:1: Parameter `tif->tif_dir.td_imagewidth`
    1370.  * NB: Directories are numbered starting at 0.
    1371.  */
    1372. int
          ^
    1373. TIFFSetDirectory(TIFF* tif, uint16 dirn)
    1374. {

libtiff/tif_dir.c:1397:10: Call
    1395. 	 */
    1396. 	tif->tif_dirnumber = 0;
    1397. 	return (TIFFReadDirectory(tif));
                   ^
    1398. }
    1399. 

libtiff/tif_dirread.c:3404:1: Parameter `tif->tif_dir.td_imagewidth`
      3402.  * format. We read directories sequentially.
      3403.  */
      3404. int
            ^
      3405. TIFFReadDirectory(TIFF* tif)
      3406. {

libtiff/tif_dirread.c:3600:29: Call
      3598. 		tif->tif_flags &= ~TIFF_ISTILED;
      3599. 	} else {
      3600. 		tif->tif_dir.td_nstrips = TIFFNumberOfTiles(tif);
                                        ^
      3601. 		tif->tif_flags |= TIFF_ISTILED;
      3602. 	}

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

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

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

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

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