tools/tiff2pdf.c:5600: error: Integer Overflow L2
  ([min(1, `output->tif_dir.td_imagedepth`), 4294967294] + [0, 4294967294-min(1, `output->tif_dir.td_imagedepth`)]):unsigned32 by call to `t2p_readwrite_pdf_image_tile`.

tools/tiff2pdf.c:5480:1: Parameter `output->tif_dir.td_imagedepth`
5478. */
5479. 
5480. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5481. 
5482. 	tsize_t written=0;

tools/tiff2pdf.c:5600:16: Call
5598. 				streamlen=written;
5599. 				t2p_read_tiff_size_tile(t2p, input, i2);
5600. 				written += t2p_readwrite_pdf_image_tile(t2p, input, output, i2);
                     ^
5601. 				t2p_write_advance_directory(t2p, output);
5602. 				if(t2p->t2p_error!=T2P_ERR_OK){return(0);}

tools/tiff2pdf.c:2813:1: Parameter `output->tif_dir.td_imagedepth`
  2811.  */
  2812. 
  2813. tsize_t t2p_readwrite_pdf_image_tile(T2P* t2p, TIFF* input, TIFF* output, ttile_t tile){
        ^
  2814. 
  2815. 	uint16 edge=0;

tools/tiff2pdf.c:3247:17: Call
  3245. 	t2p_enable(output);
  3246. 	t2p->outputwritten = 0;
  3247. 	bufferoffset = TIFFWriteEncodedStrip(output, (tstrip_t) 0, buffer,
                        ^
  3248. 					     TIFFStripSize(output)); 
  3249. 	if (buffer != NULL) {

libtiff/tif_write.c:211:1: Parameter `tif->tif_dir.td_imagedepth`
    209.  * NB: Image length must be setup before writing.
    210.  */
    211. tmsize_t
         ^
    212. TIFFWriteEncodedStrip(TIFF* tif, uint32 strip, void* data, tmsize_t cc)
    213. {

libtiff/tif_write.c:218:7: Call
    216. 	uint16 sample;
    217. 
    218. 	if (!WRITECHECKSTRIPS(tif, module))
               ^
    219. 		return ((tmsize_t) -1);
    220. 	/*

libtiff/tif_write.c:564:1: Parameter `tif->tif_dir.td_imagedepth`
      562.  * that important information is not changed.
      563.  */
      564. int
           ^
      565. TIFFWriteCheck(TIFF* tif, int tiles, const char* module)
      566. {

libtiff/tif_write.c:611:48: Call
      609. 		}
      610. 	}
      611. 	if (tif->tif_dir.td_stripoffset_p == NULL && !TIFFSetupStrips(tif)) {
                                                          ^
      612. 		tif->tif_dir.td_nstrips = 0;
      613. 		TIFFErrorExt(tif->tif_clientdata, module, "No space for %s arrays",

libtiff/tif_write.c:522:1: Parameter `tif->tif_dir.td_imagedepth`
        520.     (TIFFFieldSet(tif,f) && (tif)->tif_dir.td_imagelength == 0)
        521. 
        522. int
             ^
        523. TIFFSetupStrips(TIFF* tif)
        524. {

libtiff/tif_write.c:530:29: Call
        528. 		td->td_stripsperimage =
        529. 		    isUnspecified(tif, FIELD_TILEDIMENSIONS) ?
        530. 			td->td_samplesperpixel : TIFFNumberOfTiles(tif);
                                         ^
        531. 	else
        532. 		td->td_stripsperimage =

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_imagedepth`
          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_imagedepth`
          110.  * Compute how many tiles are in an image.
          111.  */
          112. uint32
               ^
          113. TIFFNumberOfTiles(TIFF* tif)
          114. {

libtiff/tif_tile.c:131:6: Binary operation: ([min(1, output->tif_dir.td_imagedepth), 4294967294] + [0, 4294967294-min(1, output->tif_dir.td_imagedepth)]):unsigned32 by call to `t2p_readwrite_pdf_image_tile` 
          129. 	    TIFFhowmany_32(td->td_imagelength, dy),
          130. 	    "TIFFNumberOfTiles"),
          131. 	    TIFFhowmany_32(td->td_imagedepth, dz), "TIFFNumberOfTiles");
                    ^
          132. 	if (td->td_planarconfig == PLANARCONFIG_SEPARATE)
          133. 		ntiles = _TIFFMultiply32(tif, ntiles, td->td_samplesperpixel,
