Review

Detector:

MuDetect_170414_Determinism

Target:

project '

itext

' version

5091

Tags:

Potential Misuse

Anomaly identified by the detector. Please review whether this anomaly corresponds to a misuse.

Finding:	0
In File:	/home/eko/MUBench/MUBench/mubench.pipeline/../checkouts/itext/5091/original-src/com/itextpdf/text/pdf/CJKFont.java
In Method:	getBBox(int)
Code with Finding:	`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); } }`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
?	0	0.7864584	((pattern support = 13 / 48)(pattern violations = 1 / 1)(violation support = 1 / 1)(overlap = 1 - (1 / 8))) / 4	itext/5091/original-src/com/itextpdf/text/pdf/PdfDestination.java#PdfDestination(String);itext/5091/original-src/com/itextpdf/text/pdf/PdfCopyFieldsImp.java#mergeField(String, Item);itext/5091/original-src/com/itextpdf/text/pdf/FdfWriter.java#setField(String, PdfObject);itext/5091/original-src/com/itextpdf/text/html/HtmlUtilities.java#parseAttributes(String);itext/5091/original-src/com/itextpdf/text/html/simpleparser/ElementFactory.java#getFont(ChainedProperties)	13