Review

Detector:	MuDetect_RankByPatternSupport
Target:	project ' itext ' version 5091
Misuse:	misuse ' dmmc-16 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	StringTokenizer.nextToken() is invoked without prior check of hasMoreTokens(). Test target method implements a lookup, which may be expected to throw if there is no matching element. However, this is not explicit.
Fix Description:
Violation Types:	missing/condition/value_or_state
In File:	com/itextpdf/text/pdf/CJKFont.java
In Method:	getBBox(int)
Code with Misuse:	`class CJKFont { private float getBBox(int idx) { String s = (String)fontDesc.get("FontBBox"); StringTokenizer tk = new StringTokenizer(s, " []\r\n\t\f"); String ret = tk.nextToken(); for (int k = 0; k < idx; ++k) ret = tk.nextToken(); return Integer.parseInt(ret); } }`

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
?	2120	0.27777777777778	pattern support = 10 / 36	itext/5091/original-src/com/itextpdf/text/pdf/PdfDestination.java#PdfDestination(String);itext/5091/original-src/com/itextpdf/text/pdf/BaseFont.java#createEncoding();itext/5091/original-src/com/itextpdf/text/pdf/FdfWriter.java#removeField(String);itext/5091/original-src/com/itextpdf/text/html/HtmlUtilities.java#parseAttributes(String);itext/5091/original-src/com/itextpdf/text/pdf/SimpleNamedDestination.java#createDestinationArray(String, PdfWriter)	10
?	2121	0.27777777777778	pattern support = 10 / 36	itext/5091/original-src/com/itextpdf/text/pdf/PdfDestination.java#PdfDestination(String);itext/5091/original-src/com/itextpdf/text/pdf/BaseFont.java#createEncoding();itext/5091/original-src/com/itextpdf/text/pdf/FdfWriter.java#removeField(String);itext/5091/original-src/com/itextpdf/text/html/HtmlUtilities.java#parseAttributes(String);itext/5091/original-src/com/itextpdf/text/pdf/SimpleNamedDestination.java#createDestinationArray(String, PdfWriter)	10