Review

Detector:	MuDetect_RankByDistance
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
?	1308	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/XfaForm.java#XfaForm(PdfReader);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream);itext/5091/original-src/com/itextpdf/text/pdf/codec/Base64.java#encodeBytes(byte[], int, int, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfSigGenericPKCS.java#setSignInfo(PrivateKey, Certificate[], CRL[])	14
?	1309	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1310	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1311	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1312	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/XfaForm.java#XfaForm(PdfReader);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream);itext/5091/original-src/com/itextpdf/text/pdf/codec/Base64.java#encodeBytes(byte[], int, int, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfSigGenericPKCS.java#setSignInfo(PrivateKey, Certificate[], CRL[])	14
?	1313	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1314	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/XfaForm.java#XfaForm(PdfReader);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream);itext/5091/original-src/com/itextpdf/text/pdf/codec/Base64.java#encodeBytes(byte[], int, int, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfSigGenericPKCS.java#setSignInfo(PrivateKey, Certificate[], CRL[])	14
?	1315	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1316	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/XfaForm.java#XfaForm(PdfReader);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream);itext/5091/original-src/com/itextpdf/text/pdf/codec/Base64.java#encodeBytes(byte[], int, int, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfSigGenericPKCS.java#setSignInfo(PrivateKey, Certificate[], CRL[])	14
?	1317	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1318	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1319	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/XfaForm.java#XfaForm(PdfReader);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#FlateDecode(byte, boolean);itext/5091/original-src/com/itextpdf/text/pdf/RandomAccessFileOrArray.java#InputStreamToArray(InputStream);itext/5091/original-src/com/itextpdf/text/pdf/codec/Base64.java#encodeBytes(byte[], int, int, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfSigGenericPKCS.java#setSignInfo(PrivateKey, Certificate[], CRL[])	14
?	1320	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	1321	0.83333333333333	overlap = 5.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setField(String, String, String);itext/5091/original-src/com/itextpdf/text/pdf/PdfAnnotation.java#setMKBackgroundColor(BaseColor);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#close(Map);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#setFieldProperty(String, String, Object, int);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#moveRectangle(PdfDictionary, PdfReader, int, PdfName, String)	10
?	2346	0.5	overlap = 3.00 / 6.00	itext/5091/original-src/com/itextpdf/text/pdf/fonts/cmaps/CMapToUnicode.java#createReverseMapping();itext/5091/original-src/com/itextpdf/text/pdf/fonts/cmaps/CMapToUnicode.java#createDirectMapping();itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#getPdfLayers();itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#readOCProperties();itext/5091/original-src/com/itextpdf/text/pdf/PdfStructureTreeRoot.java#buildTree()	10
?	283	0.88888888888889	overlap = 8.00 / 9.00	itext/5091/original-src/com/itextpdf/text/pdf/LtvVerification.java#outputDss(PdfDictionary, PdfDictionary, PdfArray, PdfArray, PdfArray);itext/5091/original-src/com/itextpdf/text/pdf/PdfDocument.java#addNames(TreeMap, HashMap, HashMap, PdfWriter);itext/5091/original-src/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#createAcroForms();itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#readXRefStream(long);itext/5091/original-src/com/itextpdf/text/pdf/PdfWriter.java#fillOCProperties(boolean)	10