Review

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

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Iterator.next() is invoked without prior check of hasNext().
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
?	1401	0.0037037037037037	pattern violations = 1 / 270	itext/5091/original-src/com/itextpdf/text/pdf/PdfWriter.java#addASEvent(PdfName, PdfName);itext/5091/original-src/com/itextpdf/text/pdf/LtvVerification.java#outputDss(PdfDictionary, PdfDictionary, PdfArray, PdfArray, PdfArray);itext/5091/original-src/com/itextpdf/text/pdf/PdfWriter.java#addOCGRadioGroup(ArrayList);itext/5091/original-src/com/itextpdf/text/pdf/PdfWriter.java#getOCGOrder(PdfArray, PdfLayer);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#readXRefStream(long)	10
?	2039	0.0016556291390728	pattern violations = 1 / 604	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, int, int);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int)	10
?	2040	0.0016556291390728	pattern violations = 1 / 604	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, int, int);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int)	10
?	2041	0.0016556291390728	pattern violations = 1 / 604	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, int, int);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int)	10
?	2343	0.0011695906432749	pattern violations = 1 / 855	itext/5091/original-src/com/itextpdf/text/pdf/PdfNumberTree.java#writeTree(HashMap, PdfWriter);itext/5091/original-src/com/itextpdf/text/pdf/PdfSignatureAppearance.java#addDocMDP(PdfDictionary);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#createLine(PdfWriter, Rectangle, String, float, float, float, float);itext/5091/original-src/com/itextpdf/text/pdf/codec/PngImage.java#getColorspace();itext/5091/original-src/com/itextpdf/text/pdf/Type1Font.java#getFontBaseType(PdfIndirectReference, int, int, byte)	13
?	2344	0.0011695906432749	pattern violations = 1 / 855	itext/5091/original-src/com/itextpdf/text/pdf/PdfNumberTree.java#writeTree(HashMap, PdfWriter);itext/5091/original-src/com/itextpdf/text/pdf/PdfSignatureAppearance.java#addDocMDP(PdfDictionary);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#createLine(PdfWriter, Rectangle, String, float, float, float, float);itext/5091/original-src/com/itextpdf/text/pdf/codec/PngImage.java#getColorspace();itext/5091/original-src/com/itextpdf/text/pdf/Type1Font.java#getFontBaseType(PdfIndirectReference, int, int, byte)	13
?	317	0.0082644628099174	pattern violations = 1 / 121	itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#wrapBMP(Image);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#ASCIIHexDecode(byte);itext/5091/original-src/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getData(boolean)	15
?	318	0.0082644628099174	pattern violations = 1 / 121	itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#wrapBMP(Image);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#ASCIIHexDecode(byte);itext/5091/original-src/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getData(boolean)	15
?	319	0.0082644628099174	pattern violations = 1 / 121	itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#wrapBMP(Image);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#ASCIIHexDecode(byte);itext/5091/original-src/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getData(boolean)	15
?	320	0.0082644628099174	pattern violations = 1 / 121	itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#wrapBMP(Image);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#ASCIIHexDecode(byte);itext/5091/original-src/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getData(boolean)	15
?	321	0.0082644628099174	pattern violations = 1 / 121	itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/TSAClientBouncyCastle.java#getTSAResponse(byte[]);itext/5091/original-src/com/itextpdf/text/pdf/codec/wmf/MetaDo.java#wrapBMP(Image);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#ASCIIHexDecode(byte);itext/5091/original-src/com/itextpdf/text/pdf/codec/JBIG2SegmentReader.java#getData(boolean)	15
?	7	0.25	pattern violations = 1 / 4	itext/5091/original-src/com/itextpdf/text/pdf/PdfCopy.java#copyArray(PdfArray);itext/5091/original-src/com/itextpdf/text/pdf/PdfLister.java#listPage(PdfImportedPage);itext/5091/original-src/com/itextpdf/text/pdf/parser/PdfContentStreamProcessor.java#invoke(PdfContentStreamProcessor, PdfLiteral, ArrayList);itext/5091/original-src/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#propagate(PdfObject, PdfIndirectReference, boolean);itext/5091/original-src/com/itextpdf/text/pdf/parser/ContentByteUtils.java#getContentBytesFromContentObject(PdfObject)	13