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

tools/tiffcp.c:165:9: Call
163. 		if (tif) {
164. 			**imageSpec = comma;  /* replace the comma */
165. 			if (!nextSrcImage(tif, imageSpec)) {
             ^
166. 				TIFFClose (tif);
167. 				tif = NULL;

tools/tiffcp.c:117:1: Parameter `tif->tif_dir.td_imagewidth`
  115. }
  116. 
  117. static int nextSrcImage (TIFF *tif, char **imageSpec)
       ^
  118. /*
  119.   seek to the next image specified in *imageSpec

tools/tiffcp.c:140:7: Call
  138. 			}
  139. 		}
  140. 		if (TIFFSetDirectory (tif, nextImage)) return 1;
             ^
  141. 		fprintf (stderr, "%s%c%d not found!\n",
  142. 		    TIFFFileName(tif), comma, (int) nextImage);

libtiff/tif_dir.c:1665:1: Parameter `tif->tif_dir.td_imagewidth`
    1663.  * NB: Directories are numbered starting at 0.
    1664.  */
    1665. int
          ^
    1666. TIFFSetDirectory(TIFF* tif, uint16 dirn)
    1667. {

libtiff/tif_dir.c:1690:10: Call
    1688. 	 */
    1689. 	tif->tif_dirnumber = 0;
    1690. 	return (TIFFReadDirectory(tif));
                   ^
    1691. }
    1692. 

libtiff/tif_dirread.c:3573:1: Parameter `tif->tif_dir.td_imagewidth`
      3571.  * format. We read directories sequentially.
      3572.  */
      3573. int
            ^
      3574. TIFFReadDirectory(TIFF* tif)
      3575. {

libtiff/tif_dirread.c:3801:29: Call
      3799. 		tif->tif_flags &= ~TIFF_ISTILED;
      3800. 	} else {
      3801. 		tif->tif_dir.td_nstrips = TIFFNumberOfTiles(tif);
                                        ^
      3802. 		tif->tif_flags |= TIFF_ISTILED;
      3803. 	}

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