Review

Detector:	MuDetectRankComp_180222_ExcludeInstances
Target:	project ' lucene ' version 1918
Misuse:	misuse ' tikanga-0 '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Iterator.next() is invoked without prior check of hasNext().
Fix Description:
Violation Types:	missing/condition/value_or_state
In File:	org/apache/lucene/util/AttributeSource.java
In Method:	computeCurrentState()
Code with Misuse:	`class AttributeSource { private void computeCurrentState() { currentState = new State(); State c = currentState; Iterator it = attributeImpls.values().iterator(); c.attribute = (AttributeImpl) it.next(); while (it.hasNext()) { c.next = new State(); c = c.next; c.attribute = (AttributeImpl) it.next(); } } }`

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

Strategy	Rank	Desc
	120	()
Confidence	1	70 / (70 + 11)
DefectIndicator	3	(1 / 83 (Iterator)) * 70 / 1
O-E2MN	222	(overlap = 11.00 / 14.00)
O-E2MN*PS	1	(overlap = 11.00 / 14.00)*(pattern support = 70 / 70)
O-E2MNPSPU	3	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(1 / 83 (Iterator))
O-E2MNPSPV	1	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(pattern violations = 1 / 11)
O-E2MNPSPV*PU	3	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(pattern violations = 1 / 11)*(1 / 83 (Iterator))
O-E2MNPSPV*VS	1	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(pattern violations = 1 / 11)*(violation support = 1 / 1)
O-E2MNPSPVVSPU	3	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(pattern violations = 1 / 11)(violation support = 1 / 1)(1 / 83 (Iterator))
O-E2MNPSVS	1	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(violation support = 1 / 1)
O-E2MNPSVS*PU	3	(overlap = 11.00 / 14.00)(pattern support = 70 / 70)(violation support = 1 / 1)*(1 / 83 (Iterator))
O-E2MN*PU	13	(overlap = 11.00 / 14.00)*(1 / 83 (Iterator))
O-E2MN*PV	-	filtered
O-E2MNPVPU	-	filtered
O-E2MNPVVS	3	(overlap = 11.00 / 14.00)(pattern violations = 1 / 11)(violation support = 1 / 1)
O-E2MNPVVS*PU	3	(overlap = 11.00 / 14.00)(pattern violations = 1 / 11)(violation support = 1 / 1)*(1 / 83 (Iterator))
O-E2MN*VS	19	(overlap = 11.00 / 14.00)*(violation support = 1 / 1)
O-E2MNVSPU	3	(overlap = 11.00 / 14.00)(violation support = 1 / 1)(1 / 83 (Iterator))
PS	1	(pattern support = 70 / 70)
PS*PU	13	(pattern support = 70 / 70)*(1 / 83 (Iterator))
PS*PV	1	(pattern support = 70 / 70)*(pattern violations = 1 / 11)
PSPVPU	13	(pattern support = 70 / 70)(pattern violations = 1 / 11)(1 / 83 (Iterator))
PSPVVS	1	(pattern support = 70 / 70)(pattern violations = 1 / 11)(violation support = 1 / 1)
PSPVVS*PU	3	(pattern support = 70 / 70)(pattern violations = 1 / 11)(violation support = 1 / 1)*(1 / 83 (Iterator))
PS*VS	1	(pattern support = 70 / 70)*(violation support = 1 / 1)
PSVSPU	3	(pattern support = 70 / 70)(violation support = 1 / 1)(1 / 83 (Iterator))
PU	-	filtered
PV	-	filtered
PV*PU	-	filtered
PV*VS	1	(pattern violations = 1 / 11)*(violation support = 1 / 1)
PVVSPU	13	(pattern violations = 1 / 11)(violation support = 1 / 1)(1 / 83 (Iterator))
Rareness	1	1 - (1 / 70)
VS	11	(violation support = 1 / 1)
VS*PU	-	filtered

lucene/1918/build/src/java/org/apache/lucene/search/Similarity.java#idf(Collection, Searcher)
lucene/1918/build/src/java/org/apache/lucene/index/SegmentReader.java#doCommit(Map)
lucene/1918/build/src/java/org/apache/lucene/search/FieldCacheImpl.java#getCacheEntries()
lucene/1918/build/src/java/org/apache/lucene/index/FieldInfos.java#addIndexed(Collection, boolean, boolean, boolean)
lucene/1918/build/src/java/org/apache/lucene/index/FieldsWriter.java#addDocument(Document)

455

Strategy	Rank	Desc
	-	filtered
Confidence	-	filtered
DefectIndicator	-	filtered
O-E2MN	-	filtered
O-E2MN*PS	-	filtered
O-E2MNPSPU	-	filtered
O-E2MNPSPV	-	filtered
O-E2MNPSPV*PU	-	filtered
O-E2MNPSPV*VS	-	filtered
O-E2MNPSPVVSPU	-	filtered
O-E2MNPSVS	-	filtered
O-E2MNPSVS*PU	-	filtered
O-E2MN*PU	-	filtered
O-E2MN*PV	9	(overlap = 5.00 / 7.00)*(pattern violations = 1 / 9)
O-E2MNPVPU	11	(overlap = 5.00 / 7.00)(pattern violations = 1 / 9)(1 / 83 (Iterator))
O-E2MNPVVS	-	filtered
O-E2MNPVVS*PU	-	filtered
O-E2MN*VS	-	filtered
O-E2MNVSPU	-	filtered
PS	-	filtered
PS*PU	-	filtered
PS*PV	-	filtered
PSPVPU	-	filtered
PSPVVS	-	filtered
PSPVVS*PU	-	filtered
PS*VS	-	filtered
PSVSPU	-	filtered
PU	-	filtered
PV	5	(pattern violations = 1 / 9)
PV*PU	13	(pattern violations = 1 / 9)*(1 / 83 (Iterator))
PV*VS	-	filtered
PVVSPU	-	filtered
Rareness	-	filtered
VS	-	filtered
VS*PU	-	filtered

lucene/1918/build/src/java/org/apache/lucene/search/BooleanQuery.java#explain(IndexReader, int)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#finishMerges(boolean)
lucene/1918/build/src/java/org/apache/lucene/search/spans/SpanOrQuery.java#getSpans(IndexReader)
lucene/1918/build/src/java/org/apache/lucene/document/Document.java#removeFields(String)
lucene/1918/build/src/java/org/apache/lucene/search/DisjunctionMaxQuery.java#scorer(IndexReader, boolean, boolean)

784

Strategy	Rank	Desc
	-	filtered
Confidence	-	filtered
DefectIndicator	-	filtered
O-E2MN	-	filtered
O-E2MN*PS	-	filtered
O-E2MNPSPU	-	filtered
O-E2MNPSPV	-	filtered
O-E2MNPSPV*PU	-	filtered
O-E2MNPSPV*VS	-	filtered
O-E2MNPSPVVSPU	-	filtered
O-E2MNPSVS	-	filtered
O-E2MNPSVS*PU	-	filtered
O-E2MN*PU	-	filtered
O-E2MN*PV	-	filtered
O-E2MNPVPU	-	filtered
O-E2MNPVVS	-	filtered
O-E2MNPVVS*PU	-	filtered
O-E2MN*VS	-	filtered
O-E2MNVSPU	-	filtered
PS	-	filtered
PS*PU	-	filtered
PS*PV	-	filtered
PSPVPU	-	filtered
PSPVVS	-	filtered
PSPVVS*PU	-	filtered
PS*VS	-	filtered
PSVSPU	-	filtered
PU	13	(1 / 83 (Iterator))
PV	-	filtered
PV*PU	-	filtered
PV*VS	-	filtered
PVVSPU	-	filtered
Rareness	-	filtered
VS	-	filtered
VS*PU	13	(violation support = 1 / 1)*(1 / 83 (Iterator))

lucene/1918/build/src/java/org/apache/lucene/index/DocFieldConsumers.java#flush(Map, SegmentWriteState)
lucene/1918/build/src/java/org/apache/lucene/index/DirectoryReader.java#DirectoryReader(Directory, SegmentInfos, SegmentReader[], int[], Map, boolean, boolean, int)
lucene/1918/build/src/java/org/apache/lucene/index/TermVectorsTermsWriter.java#flush(Map, SegmentWriteState)
lucene/1918/build/src/java/org/apache/lucene/search/FieldCacheImpl.java#getCacheEntries()
lucene/1918/build/src/java/org/apache/lucene/store/IndexOutput.java#writeStringStringMap(Map)