Review

Detector:	MuDetect_180220_1_WithinMethodSupport4Real
Target:	project ' itext ' version 5091
Misuse:	misuse ' dmmc-357 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	On line 508, `Iterator.next()` is invoked without prior check that there are sufficiently many elements.
Fix Description:
Violation Types:	missing/condition/value_or_state
In File:	com/itextpdf/text/pdf/PdfWriter.java
In Method:	writeCrossReferenceTable(OutputStream, PdfIndirectReference, PdfIndirectReference, PdfIndirectReference, PdfObject, long)
Code with Misuse:	class PdfWriter.PdfBody { void writeCrossReferenceTable(final OutputStream os, final PdfIndirectReference root, final PdfIndirectReference info, final PdfIndirectReference encryption, final PdfObject fileID, final long prevxref) throws IOException { int refNumber = 0; if (writer.isFullCompression()) { flushObjStm(); refNumber = getIndirectReferenceNumber(); xrefs.add(new PdfCrossReference(refNumber, position)); } PdfCrossReference entry = xrefs.first(); int first = entry.getRefnum(); int len = 0; ArrayList<Integer> sections = new ArrayList<Integer>(); for (PdfCrossReference pdfCrossReference : xrefs) { entry = pdfCrossReference; if (first + len == entry.getRefnum()) ++len; else { sections.add(Integer.valueOf(first)); sections.add(Integer.valueOf(len)); first = entry.getRefnum(); len = 1; } } sections.add(Integer.valueOf(first)); sections.add(Integer.valueOf(len)); if (writer.isFullCompression()) { int mid = 5; long mask = 0xff00000000L; for (; mid > 1; --mid) { if ((mask & position) != 0) break; mask >>>= 8; } ByteBuffer buf = new ByteBuffer(); for (Object element : xrefs) { entry = (PdfCrossReference) element; entry.toPdf(mid, buf); } PdfStream xr = new PdfStream(buf.toByteArray()); buf = null; xr.flateCompress(writer.getCompressionLevel()); xr.put(PdfName.SIZE, new PdfNumber(size())); xr.put(PdfName.ROOT, root); if (info != null) { xr.put(PdfName.INFO, info); } if (encryption != null) xr.put(PdfName.ENCRYPT, encryption); if (fileID != null) xr.put(PdfName.ID, fileID); xr.put(PdfName.W, new PdfArray(new int[]{1, mid, 2})); xr.put(PdfName.TYPE, PdfName.XREF); PdfArray idx = new PdfArray(); for (int k = 0; k < sections.size(); ++k) idx.add(new PdfNumber(sections.get(k).intValue())); xr.put(PdfName.INDEX, idx); if (prevxref > 0) xr.put(PdfName.PREV, new PdfNumber(prevxref)); PdfEncryption enc = writer.crypto; writer.crypto = null; PdfIndirectObject indirect = new PdfIndirectObject(refNumber, xr, writer); indirect.writeTo(writer.getOs()); writer.crypto = enc; } else { os.write(getISOBytes("xref\n")); Iterator<PdfCrossReference> i = xrefs.iterator(); for (int k = 0; k < sections.size(); k += 2) { first = sections.get(k).intValue(); len = sections.get(k + 1).intValue(); os.write(getISOBytes(String.valueOf(first))); os.write(getISOBytes(" ")); os.write(getISOBytes(String.valueOf(len))); os.write('\n'); while (len-- > 0) { entry = i.next(); entry.toPdf(os); } } } } }

Potential Hits

Findings of the detector that identify an anomaly in the same file and method as the known misuse.

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping
Yes	3	0.14794520547945206	(pattern support = 72 / 73)(pattern violations = 1 / 5)(overlap = 3.00 / 4.00)	itext/5091/build/src/main/java/com/itextpdf/text/Document.java#resetPageCount() itext/5091/build/src/main/java/com/itextpdf/text/xml/xmp/XmpArray.java#toString() itext/5091/build/src/main/java/com/itextpdf/text/pdf/CFFFontSubset.java#BuildNewFile(int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#fillOCProperties(boolean) itext/5091/build/src/main/java/com/itextpdf/text/html/simpleparser/TableWrapper.java#createTable()	72
No	1297	0.0008109389425356189	(pattern support = 13 / 73)(pattern violations = 1 / 183)(overlap = 5.00 / 6.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PRStream.java#PRStream(PdfReader, byte[], int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfStream.java#flateCompress(int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getGlobal(boolean) itext/5091/build/src/main/java/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[])	13
No	1298	0.0008109389425356189	(pattern support = 13 / 73)(pattern violations = 1 / 183)(overlap = 5.00 / 6.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PRStream.java#PRStream(PdfReader, byte[], int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfStream.java#flateCompress(int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getGlobal(boolean) itext/5091/build/src/main/java/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[])	13
No	1299	0.0008109389425356189	(pattern support = 13 / 73)(pattern violations = 1 / 183)(overlap = 5.00 / 6.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PRStream.java#PRStream(PdfReader, byte[], int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfStream.java#flateCompress(int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getGlobal(boolean) itext/5091/build/src/main/java/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[])	13
No	1300	0.0008109389425356189	(pattern support = 13 / 73)(pattern violations = 1 / 183)(overlap = 5.00 / 6.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PRStream.java#PRStream(PdfReader, byte[], int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfStream.java#flateCompress(int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getGlobal(boolean) itext/5091/build/src/main/java/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[])	13
No	1301	0.0008109389425356189	(pattern support = 13 / 73)(pattern violations = 1 / 183)(overlap = 5.00 / 6.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PRStream.java#PRStream(PdfReader, byte[], int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfStream.java#flateCompress(int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getGlobal(boolean) itext/5091/build/src/main/java/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[])	13
No	1379	0.000732496194824962	(pattern support = 11 / 73)(pattern violations = 1 / 180)(overlap = 7.00 / 8.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfPages.java#writePageTree() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#branchForm(HashMap, PdfIndirectReference, String) itext/5091/build/src/main/java/com/itextpdf/text/pdf/AcroFields.java#getSignatureNames() itext/5091/build/src/main/java/com/itextpdf/text/pdf/TrueTypeFont.java#compactRanges(ArrayList) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#readAll()	11
No	1380	0.000732496194824962	(pattern support = 11 / 73)(pattern violations = 1 / 180)(overlap = 7.00 / 8.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfPages.java#writePageTree() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#branchForm(HashMap, PdfIndirectReference, String) itext/5091/build/src/main/java/com/itextpdf/text/pdf/AcroFields.java#getSignatureNames() itext/5091/build/src/main/java/com/itextpdf/text/pdf/TrueTypeFont.java#compactRanges(ArrayList) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#readAll()	11
No	1988	0.00026518365862528793	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 10.00 / 12.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2682	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2683	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2684	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2685	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2686	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2687	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21
No	2688	0.00022275427324524184	(pattern support = 21 / 73)(pattern violations = 1 / 904)(overlap = 7.00 / 10.00)	itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#close() itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/GifImage.java#readImage() itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#setXmpMetadata(byte[]) itext/5091/build/src/main/java/com/itextpdf/text/pdf/codec/BmpImage.java#indexedModel(byte, int, int) itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfAnnotation.java#setMKIconFit(PdfName, PdfName, float, float, boolean)	21

Reviewer Name:	sven
Comment: