Review

Detector:

MuDetect_170414_Determinism

Target:

project '

lucene

' version

1918

Tags:

Potential Misuse

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

Finding:	10
In File:	/home/eko/MUBench/MUBench/mubench.pipeline/../checkouts/lucene/1918/original-src/org/apache/lucene/util/AttributeSource.java
In Method:	hashCode()
Code with Finding:	`class AttributeSource { public int hashCode() { int code = 0; if (hasAttributes()) { if (currentState == null) { computeCurrentState(); } for (State state = currentState; state != null; state = state.next) { code = code * 31 + state.attribute.hashCode(); } } return code; } }`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
?	10	0.67045456	((pattern support = 15 / 22)(pattern violations = 1 / 6)(violation support = 1 / 1)(overlap = 1 - (1 / 6))) / 4	lucene/1918/original-src/org/apache/lucene/index/IndexCommit.java#hashCode();lucene/1918/original-src/org/apache/lucene/search/payloads/MinPayloadFunction.java#hashCode();lucene/1918/original-src/org/apache/lucene/search/function/FloatFieldSource.java#cachedFieldSourceHashCode();lucene/1918/original-src/org/apache/lucene/search/function/ByteFieldSource.java#cachedFieldSourceHashCode();lucene/1918/original-src/org/apache/lucene/search/MultiPhraseQuery.java#arraysHashCode(Term[])	15