DX Sample Issue: Analyze Libtiff with Varangian about varangian

[saurabhpujar]

Infer bug type: NULL_DEREFERENCE
Location: tools/tiff2pdf.c:1995
Description: tools/tiff2pdf.c:1995:4:
Likelihood: HIGH

Possible bug location:
tools/tiff2pdf.c:1995

tools/tiff2pdf.c:1995:4: 
1993. 		{
1994. 			TIFFGetField(input, TIFFTAG_STRIPBYTECOUNTS, &sbc);
1995. 			t2p_set_tiff_datasize(t2p, sbc[0]);
         ^
1996. 			return;
1997. 		}

[saurabhpujar]

Infer bug type: INTEGER_OVERFLOW_L2
Location: libtiff/tif_read.c:753
Description: libtiff/tif_read.c:753:5: Binary operation: ([1, 9223372036854775807] × 10):unsigned64
Likelihood: MEDIUM

Possible bug location:
libtiff/tif_read.c:753

libtiff/tif_read.c:753:5: Binary operation: ([1, 9223372036854775807] × 10):unsigned64
751. 			    (bytecount - 4096) / 10 > (uint64_t)stripsize  )
752. 			{
753. 				uint64_t newbytecount = (uint64_t)stripsize * 10 + 4096;
         ^
754. 				if( newbytecount == 0 || newbytecount > (uint64_t)TIFF_INT64_MAX )
755. 				{

[sesheta]

Issues go stale after 90d of inactivity.
Mark the issue as fresh with /remove-lifecycle stale.
Stale issues rot after an additional 30d of inactivity and eventually close.

If this issue is safe to close now please do so with /close.

/lifecycle stale

[sesheta]

Stale issues rot after 30d of inactivity.
Mark the issue as fresh with /remove-lifecycle rotten.
Rotten issues close after an additional 30d of inactivity.

If this issue is safe to close now please do so with /close.

/lifecycle rotten

[sesheta]

Rotten issues close after 30d of inactivity.
Reopen the issue with /reopen.
Mark the issue as fresh with /remove-lifecycle rotten.

/close

[sesheta]

@sesheta: Closing this issue.

In response to this:

Rotten issues close after 30d of inactivity.
Reopen the issue with /reopen.
Mark the issue as fresh with /remove-lifecycle rotten.

/close

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.