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

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_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. {

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_rowsperstrip`
  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_rowsperstrip`
    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_rowsperstrip`
      446.     (TIFFFieldSet(tif,f) && (tif)->tif_dir.td_imagelength == 0)
      447. 
      448. int
           ^
      449. TIFFSetupStrips(TIFF* tif)
      450. {

libtiff/tif_write.c:460:29: Call
      458. 		td->td_stripsperimage =
      459. 		    isUnspecified(tif, FIELD_ROWSPERSTRIP) ?
      460. 			td->td_samplesperpixel : TIFFNumberOfStrips(tif);
                                       ^
      461. 	td->td_nstrips = td->td_stripsperimage;
      462. 	if (td->td_planarconfig == PLANARCONFIG_SEPARATE)

libtiff/tif_strip.c:86:1: <LHS trace>
84.  * Compute how many strips are in an image.
85.  */
86. uint32
    ^
87. TIFFNumberOfStrips(TIFF* tif)
88. {

libtiff/tif_strip.c:86:1: Parameter `tif->tif_dir.td_imagelength`
        84.  * Compute how many strips are in an image.
        85.  */
        86. uint32
            ^
        87. TIFFNumberOfStrips(TIFF* tif)
        88. {

libtiff/tif_strip.c:93:7: Binary operation: ([0, +oo] - 1):unsigned32 by call to `TIFFWriteEncodedStrip` 
        91. 
        92. 	nstrips = (td->td_rowsperstrip == (uint32) -1 ? 1 :
        93. 	     TIFFhowmany_32(td->td_imagelength, td->td_rowsperstrip));
                  ^
        94. 	if (td->td_planarconfig == PLANARCONFIG_SEPARATE)
        95. 		nstrips = multiply_32(tif, nstrips, (uint32)td->td_samplesperpixel,
