Review

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

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	In line 38, `SegmentInfos.info()` is called without prior check that there are sufficiently many elements in the `infos` collection. This is the same problem as identified by `tikanga-1`.
Fix Description:
Violation Types:	missing/condition/value_or_state
In File:	org/apache/lucene/index/MergeDocIDRemapper.java
In Method:	MergeDocIDRemapper(SegmentInfos, int[][], int[], OneMerge, int)
Code with Misuse:	class MergeDocIDRemapper { public MergeDocIDRemapper(SegmentInfos infos, int[][] docMaps, int[] delCounts, MergePolicy.OneMerge merge, int mergedDocCount) { this.docMaps = docMaps; SegmentInfo firstSegment = merge.segments.info(0); int i = 0; while(true) { SegmentInfo info = infos.info(i); if (info.equals(firstSegment)) break; minDocID += info.docCount; i++; } int numDocs = 0; for(int j=0;j<docMaps.length;i++,j++) { numDocs += infos.info(i).docCount; assert infos.info(i).equals(merge.segments.info(j)); } maxDocID = minDocID + numDocs; starts = new int[docMaps.length]; newStarts = new int[docMaps.length]; starts[0] = minDocID; newStarts[0] = minDocID; for(i=1;i<docMaps.length;i++) { final int lastDocCount = merge.segments.info(i-1).docCount; starts[i] = starts[i-1] + lastDocCount; newStarts[i] = newStarts[i-1] + lastDocCount - delCounts[i-1]; } docShift = numDocs - mergedDocCount; // There are rare cases when docShift is 0. It happens // if you try to delete a docID that's out of bounds, // because the SegmentReader still allocates deletedDocs // and pretends it has deletions ... so we can't make // this assert here // assert docShift > 0; // Make sure it all adds up: assert docShift == maxDocID - (newStarts[docMaps.length-1] + merge.segments.info(docMaps.length-1).docCount - delCounts[docMaps.length-1]); } }

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

468

Strategy	Rank	Desc
	26	()
Confidence	166	17 / (17 + 118)
DefectIndicator	41	(1 / 577 (Collection)) * 17 / 1
O-E2MN	41	(overlap = 12.00 / 13.00)
O-E2MN*PS	16	(overlap = 12.00 / 13.00)*(pattern support = 17 / 70)
O-E2MNPSPU	99	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(1 / 577 (Collection))
O-E2MNPSPV	111	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)
O-E2MNPSPV*PU	122	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(1 / 577 (Collection))
O-E2MNPSPV*VS	34	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(violation support = 1 / 1)
O-E2MNPSPVVSPU	69	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
O-E2MNPSVS	7	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(violation support = 1 / 1)
O-E2MNPSVS*PU	40	(overlap = 12.00 / 13.00)(pattern support = 17 / 70)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*PU	118	(overlap = 12.00 / 13.00)*(1 / 577 (Collection))
O-E2MN*PV	157	(overlap = 12.00 / 13.00)*(pattern violations = 1 / 118)
O-E2MNPVPU	123	(overlap = 12.00 / 13.00)(pattern violations = 1 / 118)(1 / 577 (Collection))
O-E2MNPVVS	59	(overlap = 12.00 / 13.00)(pattern violations = 1 / 118)(violation support = 1 / 1)
O-E2MNPVVS*PU	70	(overlap = 12.00 / 13.00)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*VS	6	(overlap = 12.00 / 13.00)*(violation support = 1 / 1)
O-E2MNVSPU	49	(overlap = 12.00 / 13.00)(violation support = 1 / 1)(1 / 577 (Collection))
PS	25	(pattern support = 17 / 70)
PS*PU	130	(pattern support = 17 / 70)*(1 / 577 (Collection))
PS*PV	166	(pattern support = 17 / 70)*(pattern violations = 1 / 118)
PSPVPU	133	(pattern support = 17 / 70)(pattern violations = 1 / 118)(1 / 577 (Collection))
PSPVVS	69	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)
PSPVVS*PU	70	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
PS*VS	13	(pattern support = 17 / 70)*(violation support = 1 / 1)
PSVSPU	41	(pattern support = 17 / 70)(violation support = 1 / 1)(1 / 577 (Collection))
PU	138	(1 / 577 (Collection))
PV	317	(pattern violations = 1 / 118)
PV*PU	198	(pattern violations = 1 / 118)*(1 / 577 (Collection))
PV*VS	84	(pattern violations = 1 / 118)*(violation support = 1 / 1)
PVVSPU	103	(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
Rareness	13	1 - (1 / 17)
VS	2	(violation support = 1 / 1)
VS*PU	57	(violation support = 1 / 1)*(1 / 577 (Collection))

lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#clear(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#registerMerge(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMerges(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#mergeFinish(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMergesToExpungeDeletes(SegmentInfos)

1119

Strategy	Rank	Desc
	27	()
Confidence	167	17 / (17 + 118)
DefectIndicator	42	(1 / 577 (Collection)) * 17 / 1
O-E2MN	115	(overlap = 11.00 / 13.00)
O-E2MN*PS	37	(overlap = 11.00 / 13.00)*(pattern support = 17 / 70)
O-E2MNPSPU	120	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(1 / 577 (Collection))
O-E2MNPSPV	137	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)
O-E2MNPSPV*PU	142	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(1 / 577 (Collection))
O-E2MNPSPV*VS	42	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(violation support = 1 / 1)
O-E2MNPSPVVSPU	71	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
O-E2MNPSVS	9	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(violation support = 1 / 1)
O-E2MNPSVS*PU	42	(overlap = 11.00 / 13.00)(pattern support = 17 / 70)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*PU	155	(overlap = 11.00 / 13.00)*(1 / 577 (Collection))
O-E2MN*PV	178	(overlap = 11.00 / 13.00)*(pattern violations = 1 / 118)
O-E2MNPVPU	156	(overlap = 11.00 / 13.00)(pattern violations = 1 / 118)(1 / 577 (Collection))
O-E2MNPVVS	64	(overlap = 11.00 / 13.00)(pattern violations = 1 / 118)(violation support = 1 / 1)
O-E2MNPVVS*PU	83	(overlap = 11.00 / 13.00)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*VS	13	(overlap = 11.00 / 13.00)*(violation support = 1 / 1)
O-E2MNVSPU	52	(overlap = 11.00 / 13.00)(violation support = 1 / 1)(1 / 577 (Collection))
PS	26	(pattern support = 17 / 70)
PS*PU	131	(pattern support = 17 / 70)*(1 / 577 (Collection))
PS*PV	167	(pattern support = 17 / 70)*(pattern violations = 1 / 118)
PSPVPU	134	(pattern support = 17 / 70)(pattern violations = 1 / 118)(1 / 577 (Collection))
PSPVVS	70	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)
PSPVVS*PU	71	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
PS*VS	14	(pattern support = 17 / 70)*(violation support = 1 / 1)
PSVSPU	42	(pattern support = 17 / 70)(violation support = 1 / 1)(1 / 577 (Collection))
PU	139	(1 / 577 (Collection))
PV	319	(pattern violations = 1 / 118)
PV*PU	199	(pattern violations = 1 / 118)*(1 / 577 (Collection))
PV*VS	85	(pattern violations = 1 / 118)*(violation support = 1 / 1)
PVVSPU	104	(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
Rareness	14	1 - (1 / 17)
VS	3	(violation support = 1 / 1)
VS*PU	58	(violation support = 1 / 1)*(1 / 577 (Collection))

lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#clear(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#registerMerge(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMerges(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#mergeFinish(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMergesToExpungeDeletes(SegmentInfos)

1178

Strategy	Rank	Desc
	28	()
Confidence	168	17 / (17 + 118)
DefectIndicator	43	(1 / 577 (Collection)) * 17 / 1
O-E2MN	331	(overlap = 5.00 / 9.00)
O-E2MN*PS	220	(overlap = 5.00 / 9.00)*(pattern support = 17 / 70)
O-E2MNPSPU	249	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(1 / 577 (Collection))
O-E2MNPSPV	250	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)
O-E2MNPSPV*PU	210	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(1 / 577 (Collection))
O-E2MNPSPV*VS	73	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(violation support = 1 / 1)
O-E2MNPSPVVSPU	87	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
O-E2MNPSVS	28	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(violation support = 1 / 1)
O-E2MNPSVS*PU	52	(overlap = 5.00 / 9.00)(pattern support = 17 / 70)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*PU	317	(overlap = 5.00 / 9.00)*(1 / 577 (Collection))
O-E2MN*PV	367	(overlap = 5.00 / 9.00)*(pattern violations = 1 / 118)
O-E2MNPVPU	295	(overlap = 5.00 / 9.00)(pattern violations = 1 / 118)(1 / 577 (Collection))
O-E2MNPVVS	88	(overlap = 5.00 / 9.00)(pattern violations = 1 / 118)(violation support = 1 / 1)
O-E2MNPVVS*PU	104	(overlap = 5.00 / 9.00)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*VS	38	(overlap = 5.00 / 9.00)*(violation support = 1 / 1)
O-E2MNVSPU	67	(overlap = 5.00 / 9.00)(violation support = 1 / 1)(1 / 577 (Collection))
PS	27	(pattern support = 17 / 70)
PS*PU	132	(pattern support = 17 / 70)*(1 / 577 (Collection))
PS*PV	168	(pattern support = 17 / 70)*(pattern violations = 1 / 118)
PSPVPU	135	(pattern support = 17 / 70)(pattern violations = 1 / 118)(1 / 577 (Collection))
PSPVVS	71	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)
PSPVVS*PU	72	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
PS*VS	15	(pattern support = 17 / 70)*(violation support = 1 / 1)
PSVSPU	43	(pattern support = 17 / 70)(violation support = 1 / 1)(1 / 577 (Collection))
PU	140	(1 / 577 (Collection))
PV	318	(pattern violations = 1 / 118)
PV*PU	200	(pattern violations = 1 / 118)*(1 / 577 (Collection))
PV*VS	86	(pattern violations = 1 / 118)*(violation support = 1 / 1)
PVVSPU	105	(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
Rareness	15	1 - (1 / 17)
VS	4	(violation support = 1 / 1)
VS*PU	59	(violation support = 1 / 1)*(1 / 577 (Collection))

lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#clear(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#registerMerge(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMerges(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#mergeFinish(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMergesToExpungeDeletes(SegmentInfos)

1235

Strategy	Rank	Desc
	29	()
Confidence	169	17 / (17 + 118)
DefectIndicator	44	(1 / 577 (Collection)) * 17 / 1
O-E2MN	267	(overlap = 7.00 / 10.00)
O-E2MN*PS	124	(overlap = 7.00 / 10.00)*(pattern support = 17 / 70)
O-E2MNPSPU	182	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(1 / 577 (Collection))
O-E2MNPSPV	184	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)
O-E2MNPSPV*PU	177	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(1 / 577 (Collection))
O-E2MNPSPV*VS	54	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)*(violation support = 1 / 1)
O-E2MNPSPVVSPU	73	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
O-E2MNPSVS	12	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(violation support = 1 / 1)
O-E2MNPSVS*PU	50	(overlap = 7.00 / 10.00)(pattern support = 17 / 70)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*PU	249	(overlap = 7.00 / 10.00)*(1 / 577 (Collection))
O-E2MN*PV	232	(overlap = 7.00 / 10.00)*(pattern violations = 1 / 118)
O-E2MNPVPU	207	(overlap = 7.00 / 10.00)(pattern violations = 1 / 118)(1 / 577 (Collection))
O-E2MNPVVS	72	(overlap = 7.00 / 10.00)(pattern violations = 1 / 118)(violation support = 1 / 1)
O-E2MNPVVS*PU	97	(overlap = 7.00 / 10.00)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
O-E2MN*VS	28	(overlap = 7.00 / 10.00)*(violation support = 1 / 1)
O-E2MNVSPU	55	(overlap = 7.00 / 10.00)(violation support = 1 / 1)(1 / 577 (Collection))
PS	28	(pattern support = 17 / 70)
PS*PU	133	(pattern support = 17 / 70)*(1 / 577 (Collection))
PS*PV	169	(pattern support = 17 / 70)*(pattern violations = 1 / 118)
PSPVPU	136	(pattern support = 17 / 70)(pattern violations = 1 / 118)(1 / 577 (Collection))
PSPVVS	72	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)
PSPVVS*PU	73	(pattern support = 17 / 70)(pattern violations = 1 / 118)(violation support = 1 / 1)*(1 / 577 (Collection))
PS*VS	16	(pattern support = 17 / 70)*(violation support = 1 / 1)
PSVSPU	44	(pattern support = 17 / 70)(violation support = 1 / 1)(1 / 577 (Collection))
PU	141	(1 / 577 (Collection))
PV	320	(pattern violations = 1 / 118)
PV*PU	201	(pattern violations = 1 / 118)*(1 / 577 (Collection))
PV*VS	87	(pattern violations = 1 / 118)*(violation support = 1 / 1)
PVVSPU	106	(pattern violations = 1 / 118)(violation support = 1 / 1)(1 / 577 (Collection))
Rareness	16	1 - (1 / 17)
VS	5	(violation support = 1 / 1)
VS*PU	60	(violation support = 1 / 1)*(1 / 577 (Collection))

lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#clear(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#registerMerge(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMerges(SegmentInfos)
lucene/1918/build/src/java/org/apache/lucene/index/IndexWriter.java#mergeFinish(OneMerge)
lucene/1918/build/src/java/org/apache/lucene/index/LogMergePolicy.java#findMergesToExpungeDeletes(SegmentInfos)