Review

Detector:	MuDetectRankComp_180222_ExcludeInstances
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

1267

Strategy	Rank	Desc
	1585	()
Confidence	1676	10 / (10 + 270)
DefectIndicator	1940	(1 / 2954 (PdfArray)) * 10 / 79
O-E2MN	2027	(overlap = 3.00 / 6.00)
O-E2MN*PS	2085	(overlap = 3.00 / 6.00)*(pattern support = 10 / 73)
O-E2MNPSPU	2092	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(1 / 2954 (PdfArray))
O-E2MNPSPV	1777	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(pattern violations = 1 / 270)
O-E2MNPSPV*PU	1919	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(pattern violations = 1 / 270)*(1 / 2954 (PdfArray))
O-E2MNPSPV*VS	1867	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(pattern violations = 1 / 270)*(violation support = 1 / 79)
O-E2MNPSPVVSPU	1893	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(pattern violations = 1 / 270)(violation support = 1 / 79)(1 / 2954 (PdfArray))
O-E2MNPSVS	1977	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(violation support = 1 / 79)
O-E2MNPSVS*PU	1977	(overlap = 3.00 / 6.00)(pattern support = 10 / 73)(violation support = 1 / 79)*(1 / 2954 (PdfArray))
O-E2MN*PU	2036	(overlap = 3.00 / 6.00)*(1 / 2954 (PdfArray))
O-E2MN*PV	1482	(overlap = 3.00 / 6.00)*(pattern violations = 1 / 270)
O-E2MNPVPU	1627	(overlap = 3.00 / 6.00)(pattern violations = 1 / 270)(1 / 2954 (PdfArray))
O-E2MNPVVS	1699	(overlap = 3.00 / 6.00)(pattern violations = 1 / 270)(violation support = 1 / 79)
O-E2MNPVVS*PU	1680	(overlap = 3.00 / 6.00)(pattern violations = 1 / 270)(violation support = 1 / 79)*(1 / 2954 (PdfArray))
O-E2MN*VS	1798	(overlap = 3.00 / 6.00)*(violation support = 1 / 79)
O-E2MNVSPU	1873	(overlap = 3.00 / 6.00)(violation support = 1 / 79)(1 / 2954 (PdfArray))
PS	2031	(pattern support = 10 / 73)
PS*PU	2051	(pattern support = 10 / 73)*(1 / 2954 (PdfArray))
PS*PV	1676	(pattern support = 10 / 73)*(pattern violations = 1 / 270)
PSPVPU	1871	(pattern support = 10 / 73)(pattern violations = 1 / 270)(1 / 2954 (PdfArray))
PSPVVS	1757	(pattern support = 10 / 73)(pattern violations = 1 / 270)(violation support = 1 / 79)
PSPVVS*PU	1802	(pattern support = 10 / 73)(pattern violations = 1 / 270)(violation support = 1 / 79)*(1 / 2954 (PdfArray))
PS*VS	1939	(pattern support = 10 / 73)*(violation support = 1 / 79)
PSVSPU	1940	(pattern support = 10 / 73)(violation support = 1 / 79)(1 / 2954 (PdfArray))
PU	1508	(1 / 2954 (PdfArray))
PV	1377	(pattern violations = 1 / 270)
PV*PU	1579	(pattern violations = 1 / 270)*(1 / 2954 (PdfArray))
PV*VS	1529	(pattern violations = 1 / 270)*(violation support = 1 / 79)
PVVSPU	1670	(pattern violations = 1 / 270)(violation support = 1 / 79)(1 / 2954 (PdfArray))
Rareness	1939	1 - (79 / 10)
VS	1619	(violation support = 1 / 79)
VS*PU	1592	(violation support = 1 / 79)*(1 / 2954 (PdfArray))

itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#addASEvent(PdfName, PdfName)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#addOCGRadioGroup(ArrayList)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfWriter.java#fillOCProperties(boolean)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/LtvVerification.java#outputDss(PdfDictionary, PdfDictionary, PdfArray, PdfArray, PdfArray)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfDocument.java#addNames(TreeMap, HashMap, HashMap, PdfWriter)

4103

Strategy	Rank	Desc
	1586	()
Confidence	839	10 / (10 + 96)
DefectIndicator	209	(1 / 1081 (PdfNumber)) * 10 / 2
O-E2MN	1747	(overlap = 6.00 / 10.00)
O-E2MN*PS	1904	(overlap = 6.00 / 10.00)*(pattern support = 10 / 73)
O-E2MNPSPU	1498	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(1 / 1081 (PdfNumber))
O-E2MNPSPV	1141	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(pattern violations = 1 / 96)
O-E2MNPSPV*PU	862	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(pattern violations = 1 / 96)*(1 / 1081 (PdfNumber))
O-E2MNPSPV*VS	170	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(pattern violations = 1 / 96)*(violation support = 1 / 2)
O-E2MNPSPVVSPU	181	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(pattern violations = 1 / 96)(violation support = 1 / 2)(1 / 1081 (PdfNumber))
O-E2MNPSVS	165	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(violation support = 1 / 2)
O-E2MNPSVS*PU	217	(overlap = 6.00 / 10.00)(pattern support = 10 / 73)(violation support = 1 / 2)*(1 / 1081 (PdfNumber))
O-E2MN*PU	724	(overlap = 6.00 / 10.00)*(1 / 1081 (PdfNumber))
O-E2MN*PV	297	(overlap = 6.00 / 10.00)*(pattern violations = 1 / 96)
O-E2MNPVPU	569	(overlap = 6.00 / 10.00)(pattern violations = 1 / 96)(1 / 1081 (PdfNumber))
O-E2MNPVVS	124	(overlap = 6.00 / 10.00)(pattern violations = 1 / 96)(violation support = 1 / 2)
O-E2MNPVVS*PU	133	(overlap = 6.00 / 10.00)(pattern violations = 1 / 96)(violation support = 1 / 2)*(1 / 1081 (PdfNumber))
O-E2MN*VS	107	(overlap = 6.00 / 10.00)*(violation support = 1 / 2)
O-E2MNVSPU	146	(overlap = 6.00 / 10.00)(violation support = 1 / 2)(1 / 1081 (PdfNumber))
PS	2030	(pattern support = 10 / 73)
PS*PU	1260	(pattern support = 10 / 73)*(1 / 1081 (PdfNumber))
PS*PV	839	(pattern support = 10 / 73)*(pattern violations = 1 / 96)
PSPVPU	688	(pattern support = 10 / 73)(pattern violations = 1 / 96)(1 / 1081 (PdfNumber))
PSPVVS	147	(pattern support = 10 / 73)(pattern violations = 1 / 96)(violation support = 1 / 2)
PSPVVS*PU	135	(pattern support = 10 / 73)(pattern violations = 1 / 96)(violation support = 1 / 2)*(1 / 1081 (PdfNumber))
PS*VS	142	(pattern support = 10 / 73)*(violation support = 1 / 2)
PSVSPU	209	(pattern support = 10 / 73)(violation support = 1 / 2)(1 / 1081 (PdfNumber))
PU	710	(1 / 1081 (PdfNumber))
PV	314	(pattern violations = 1 / 96)
PV*PU	546	(pattern violations = 1 / 96)*(1 / 1081 (PdfNumber))
PV*VS	107	(pattern violations = 1 / 96)*(violation support = 1 / 2)
PVVSPU	121	(pattern violations = 1 / 96)(violation support = 1 / 2)(1 / 1081 (PdfNumber))
Rareness	142	1 - (2 / 10)
VS	91	(violation support = 1 / 2)
VS*PU	143	(violation support = 1 / 2)*(1 / 1081 (PdfNumber))

itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfReader.java#readXrefSection()
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#mergeField(String, Item)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfEFStream.java#toPdf(PdfWriter, OutputStream)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfStream.java#toPdf(PdfWriter, OutputStream)
itext/5091/build/src/main/java/com/itextpdf/text/pdf/PdfReader.java#decodePredictor(byte, PdfObject)