Review

Detector:

MuDetect_180210_DataFlowThroughActionNodes

Target:

project '

jigsaw

' version

205

Tags:

Potential Misuse

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

Finding:	finding-18
In File:	/mubench/checkouts/jigsaw/205/build/Jigsaw/src/classes/org/w3c/www/http/headerEnumerator.java
In Method:	hasMoreElements()
Code with Finding:	`class headerEnumerator { public boolean hasMoreElements() { // Enumerate standard header descriptions: while ( index < HttpMessage.MAX_HEADERS ) { if (all \|\| message.values[index] != null ) return true; index++; } // Enumerate extra header descriptions: if ( extras == null ) { if ( message.headers == null ) return false; if ( all ) extras = message.factory.keys(); else extras = message.headers.keys(); } return extras.hasMoreElements(); } }`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
?	18	0.009230769230769233	(pattern violations = 1 / 10)(violation support = 1 / 5)(pattern support = 12 / 26)	jigsaw/205/build/Jigsaw/src/classes/org/w3c/jigadm/editors/HashtableAttributeEditor.java#setTable(ArrayDictionary) jigsaw/205/build/Jigsaw/src/classes/org/w3c/jigadmin/attributes/HashtableAttributeEditor.java#setTable(ArrayDictionary) jigsaw/205/build/Jigsaw/src/classes/org/w3c/tools/resources/PropertiesAttribute.java#getPickleLength(Object) jigsaw/205/build/Jigsaw/src/classes/org/w3c/jigadm/PropertyManager.java#merge(Properties, Properties, boolean) jigsaw/205/build/Jigsaw/src/classes/org/w3c/jigadm/editors/MimeTypeAttributeEditor.java#MimeTypeAttributePopup(MimeTypeAttributeComponent)	12