Review

Detector:	MuDetect_170414_Determinism
Target:	project ' itext ' version 5091
Misuse:	misuse ' jadet-5 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	PdfArray.getPdfObject() is invoked without checking that the array contains sufficiently many objects.
Fix Description:
Violation Types:	missing/condition/value_or_state
In File:	com/itextpdf/text/pdf/PdfStructureTreeRoot.java
In Method:	nodeProcess(PdfDictionary, PdfIndirectReference)
Code with Misuse:	class PdfStructureTreeRoot { private void nodeProcess(PdfDictionary struc, PdfIndirectReference reference) throws IOException { PdfObject obj = struc.get(PdfName.K); if (obj != null && obj.isArray() && !(((PdfArray)obj).getPdfObject(0)).isNumber()) { PdfArray ar = (PdfArray)obj; for (int k = 0; k < ar.size(); ++k) { PdfStructureElement e = (PdfStructureElement)ar.getAsDict(k); ar.set(k, e.getReference()); nodeProcess(e, e.getReference()); } } if (reference != null) writer.addToBody(struc, reference); } }

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
?	1111	0.30242518	((pattern support = 16 / 48)(pattern violations = 1 / 57)(violation support = 1 / 17)(overlap = 1 - (3 / 15))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#flatFields();itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#getAppearance(PdfDictionary, String, String);itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#decodeGenericDictionary(PdfDictionary, BaseField);itext/5091/original-src/com/itextpdf/text/pdf/PdfStamperImp.java#flatFreeTextFields();itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#getListSelection(String)	16
?	1862	0.25968567	((pattern support = 10 / 48)(pattern violations = 1 / 19)(violation support = 1 / 9)(overlap = 1 - (3 / 9))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/AcroFields.java#getListOption(String, int);itext/5091/original-src/com/itextpdf/text/pdf/DocumentFont.java#readWidths(PdfArray);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#getNameArray(PdfObject);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#getPageContent(int, RandomAccessFileOrArray);itext/5091/original-src/com/itextpdf/text/pdf/XfaForm.java#setXfa(XfaForm, PdfReader, PdfWriter)	10
?	680	0.36080343	((pattern support = 10 / 48)(pattern violations = 1 / 79)(violation support = 1 / 2)(overlap = 1 - (5 / 18))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/PdfStream.java#toPdf(PdfWriter, OutputStream);itext/5091/original-src/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#mergeField(String, Item);itext/5091/original-src/com/itextpdf/text/pdf/PdfEFStream.java#toPdf(PdfWriter, OutputStream);itext/5091/original-src/com/itextpdf/text/pdf/PdfReader.java#decodePredictor(byte, PdfObject);itext/5091/original-src/com/itextpdf/text/pdf/PdfSignatureAppearance.java#preClose(HashMap)	10