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

tools/gif2tiff.c:508:17: Call
506.     TIFFSetField(tif, TIFFTAG_ORIENTATION, ORIENTATION_TOPLEFT);
507.     strip = 0;
508.     stripsize = TIFFStripSize(tif);
                     ^
509.     for (row=0; row<height; row += rowsperstrip) {
510. 	if (TIFFWriteEncodedStrip(tif, strip, newras+row*width, stripsize) < 0)

libtiff/tif_strip.c:235:1: Parameter `tif->tif_dir.td_imagewidth`
  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_imagewidth`
    224.  * to hold the strip.
    225.  */
    226. uint64
         ^
    227. TIFFStripSize64(TIFF* tif)
    228. {

libtiff/tif_strip.c:233:10: Call
    231. 	if (rps > td->td_imagelength)
    232. 		rps = td->td_imagelength;
    233. 	return (TIFFVStripSize64(tif, rps));
                  ^
    234. }
    235. tmsize_t

libtiff/tif_strip.c:103:1: Parameter `tif->tif_dir.td_imagewidth`
      101.  * Compute the # bytes in a variable height, row-aligned strip.
      102.  */
      103. uint64
           ^
      104. TIFFVStripSize64(TIFF* tif, uint32 nrows)
      105. {

tools/gif2tiff.c:510:6: Call
508.     stripsize = TIFFStripSize(tif);
509.     for (row=0; row<height; row += rowsperstrip) {
510. 	if (TIFFWriteEncodedStrip(tif, strip, newras+row*width, stripsize) < 0)
          ^
511. 	    break;
512. 	strip++;

libtiff/tif_write.c:183:1: Parameter `tif->tif_dir.td_imagewidth`
  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_imagewidth`
    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_imagewidth`
      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_imagewidth`
        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_imagewidth`
        138.  * Compute how many tiles are in an image.
        139.  */
        140. uint32
             ^
        141. TIFFNumberOfTiles(TIFF* tif)
        142. {

libtiff/tif_tile.c:156:40: Binary operation: ([0, 4294967294] + [0, 4294967294]):unsigned32 by call to `TIFFWriteEncodedStrip` 
        154. 		dz = td->td_imagedepth;
        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"),
