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

tools/tiffcp.c:1377:1: Parameter `out->tif_dir.td_imagelength`
1375. }
1376. 
1377. DECLAREwriteFunc(writeBufferToSeparateStrips)
      ^
1378. {
1379. 	uint32 rowsize = imagewidth * spp;

tools/tiffcp.c:1381:29: Call
1379. 	uint32 rowsize = imagewidth * spp;
1380. 	uint32 rowsperstrip;
1381. 	tdata_t obuf = _TIFFmalloc(TIFFStripSize(out));
                                  ^
1382. 	tstrip_t strip = 0;
1383. 	tsample_t s;

libtiff/tif_strip.c:235:1: Parameter `tif->tif_dir.td_imagelength`
  233. 	return (TIFFVStripSize64(tif, rps));
  234. }
  235. tmsize_t
       ^
  236. TIFFStripSize(TIFF* tif)
  237. {

libtiff/tif_strip.c:241:4: Call
  239. 	uint64 m;
  240. 	tmsize_t n;
  241. 	m=TIFFStripSize64(tif);
          ^
  242. 	n=(tmsize_t)m;
  243. 	if ((uint64)n!=m)

libtiff/tif_strip.c:226:1: Parameter `tif->tif_dir.td_imagelength`
    224.  * to hold the strip.
    225.  */
    226. uint64
         ^
    227. TIFFStripSize64(TIFF* tif)
    228. {

tools/tiffcp.c:1398:8: Call
1396. 			    obuf, (uint8*) buf + row*rowsize + s,
1397. 			    nrows, imagewidth, 0, 0, spp, 1);
1398. 			if (TIFFWriteEncodedStrip(out, strip++, obuf, stripsize) < 0) {
             ^
1399. 				TIFFError(TIFFFileName(out),
1400. 				    "Error, can't write strip %u",

libtiff/tif_write.c:183:1: Parameter `tif->tif_dir.td_imagelength`
  181.  * NB: Image length must be setup before writing.
  182.  */
  183. tmsize_t
       ^
  184. TIFFWriteEncodedStrip(TIFF* tif, uint32 strip, void* data, tmsize_t cc)
  185. {

libtiff/tif_write.c:190:7: Call
  188. 	uint16 sample;
  189. 
  190. 	if (!WRITECHECKSTRIPS(tif, module))
             ^
  191. 		return ((tmsize_t) -1);
  192. 	/*

libtiff/tif_write.c:488:1: Parameter `tif->tif_dir.td_imagelength`
    486.  * that important information is not changed.
    487.  */
    488. int
         ^
    489. TIFFWriteCheck(TIFF* tif, int tiles, const char* module)
    490. {

libtiff/tif_write.c:533:46: Call
    531. 		}
    532. 	}
    533. 	if (tif->tif_dir.td_stripoffset == NULL && !TIFFSetupStrips(tif)) {
                                                      ^
    534. 		tif->tif_dir.td_nstrips = 0;
    535. 		TIFFErrorExt(tif->tif_clientdata, module, "No space for %s arrays",

libtiff/tif_write.c:448:1: Parameter `tif->tif_dir.td_imagelength`
      446.     (TIFFFieldSet(tif,f) && (tif)->tif_dir.td_imagelength == 0)
      447. 
      448. int
           ^
      449. TIFFSetupStrips(TIFF* tif)
      450. {

libtiff/tif_write.c:456:29: Call
      454. 		td->td_stripsperimage =
      455. 		    isUnspecified(tif, FIELD_TILEDIMENSIONS) ?
      456. 			td->td_samplesperpixel : TIFFNumberOfTiles(tif);
                                       ^
      457. 	else
      458. 		td->td_stripsperimage =

libtiff/tif_tile.c:140:1: <LHS trace>
138.  * Compute how many tiles are in an image.
139.  */
140. uint32
     ^
141. TIFFNumberOfTiles(TIFF* tif)
142. {

libtiff/tif_tile.c:140:1: Parameter `tif->tif_dir.td_imagelength`
        138.  * Compute how many tiles are in an image.
        139.  */
        140. uint32
             ^
        141. TIFFNumberOfTiles(TIFF* tif)
        142. {

libtiff/tif_tile.c:140:1: <RHS trace>
138.  * Compute how many tiles are in an image.
139.  */
140. uint32
     ^
141. TIFFNumberOfTiles(TIFF* tif)
142. {

libtiff/tif_tile.c:140:1: Parameter `tif->tif_dir.td_imagelength`
        138.  * Compute how many tiles are in an image.
        139.  */
        140. uint32
             ^
        141. TIFFNumberOfTiles(TIFF* tif)
        142. {

libtiff/tif_tile.c:157:6: Binary operation: ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFWriteEncodedStrip` 
        155. 	ntiles = (dx == 0 || dy == 0 || dz == 0) ? 0 :
        156. 	    multiply_32(tif, multiply_32(tif, TIFFhowmany_32(td->td_imagewidth, dx),
        157. 	    TIFFhowmany_32(td->td_imagelength, dy),
                  ^
        158. 	    "TIFFNumberOfTiles"),
        159. 	    TIFFhowmany_32(td->td_imagedepth, dz), "TIFFNumberOfTiles");
