tools/tiff2pdf.c:5270: 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`.

tools/tiff2pdf.c:5128:1: Parameter `output->tif_dir.td_imagedepth`
5126. */
5127. 
5128. tsize_t t2p_write_pdf(T2P* t2p, TIFF* input, TIFF* output){
      ^
5129. 
5130. 	tsize_t written=0;

tools/tiff2pdf.c:5270:15: Call
5268. 			streamlen=written;
5269. 			t2p_read_tiff_size(t2p, input);
5270. 			written += t2p_readwrite_pdf_image(t2p, input, output);
                    ^
5271. 			t2p_write_advance_directory(t2p, output);
5272. 			if(t2p->t2p_error!=T2P_ERR_OK){return(0);}

tools/tiff2pdf.c:1984:1: Parameter `output->tif_dir.td_imagedepth`
  1982. */
  1983. 
  1984. tsize_t t2p_readwrite_pdf_image(T2P* t2p, TIFF* input, TIFF* output){
        ^
  1985. 
  1986. 	tsize_t written=0;

tools/tiff2pdf.c:2534:18: Call
  2532. 	if(t2p->pdf_compression == T2P_COMPRESS_JPEG
  2533. 	   && t2p->tiff_photometric == PHOTOMETRIC_YCBCR){
  2534. 		bufferoffset = TIFFWriteEncodedStrip(output, (tstrip_t)0,
                         ^
  2535. 						     buffer,
  2536. 						     stripsize * stripcount); 

libtiff/tif_write.c:183:1: Parameter `tif->tif_dir.td_imagedepth`
    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_imagedepth`
      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_imagedepth`
        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:114:1: <LHS trace>
112.  * Compute how many tiles are in an image.
113.  */
114. uint32
     ^
115. TIFFNumberOfTiles(TIFF* tif)
116. {

libtiff/tif_tile.c:114:1: Parameter `tif->tif_dir.td_imagedepth`
          112.  * Compute how many tiles are in an image.
          113.  */
          114. uint32
               ^
          115. TIFFNumberOfTiles(TIFF* tif)
          116. {

libtiff/tif_tile.c:114:1: <RHS trace>
112.  * Compute how many tiles are in an image.
113.  */
114. uint32
     ^
115. TIFFNumberOfTiles(TIFF* tif)
116. {

libtiff/tif_tile.c:114:1: Parameter `tif->tif_dir.td_imagedepth`
          112.  * Compute how many tiles are in an image.
          113.  */
          114. uint32
               ^
          115. TIFFNumberOfTiles(TIFF* tif)
          116. {

libtiff/tif_tile.c:133: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` 
          131. 	    TIFFhowmany_32(td->td_imagelength, dy),
          132. 	    "TIFFNumberOfTiles"),
          133. 	    TIFFhowmany_32(td->td_imagedepth, dz), "TIFFNumberOfTiles");
                    ^
          134. 	if (td->td_planarconfig == PLANARCONFIG_SEPARATE)
          135. 		ntiles = _TIFFMultiply32(tif, ntiles, td->td_samplesperpixel,
