Review

Detector:

MuDetect

Target:

project '

jigsaw

' version

205

Tags:

uncommon

Potential Misuse

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

Finding:	finding-16
In File:	/mubench/checkouts/jigsaw/205/build/Jigsaw/src/classes/org/w3c/tools/resources/PropertiesAttribute.java
In Method:	pickle(DataOutputStream, Object)
Code with Finding:	`class PropertiesAttribute {` `public void pickle(DataOutputStream out, Object o)` `throws IOException` `{` `ArrayDictionary a = (ArrayDictionary) o;` `Enumeration e = a.keys();` `int s = a.size();` `out.writeInt(s);` `while (--s >= 0) {` `String key = (String) e.nextElement();` `out.writeUTF(key);` `out.writeUTF((String) a.get(key));` `}` `}` `}`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
No	16	0.25	(overlap = 3.00 / 4.00)(pattern support = 51 / 51)(violation support = 1 / 3)	jigsaw/205/build/Jigsaw/src/classes/org/w3c/jigsaw/proxy/ForwardFrame.java#dupRequest(Request) jigsaw/205/build/Jigsaw/src/classes/org/w3c/tools/resources/ContainerResource.java#lookup(String) jigsaw/205/build/Jigsaw/src/classes/org/w3c/cvs/CvsDirectory.java#display(PrintStream) jigsaw/205/build/Jigsaw/src/classes/org/w3c/tools/jdbm/jdbmResourceStore.java#save() jigsaw/205/build/Jigsaw/src/classes/org/w3c/www/mime/MimeHeaders.java#dump(PrintStream)	51

Reviewer Name:	hoan
Comment: