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:	1
In File:	/home/eko/MUBench/MUBench/mubench.pipeline/../checkouts/lucene/1918/original-src/org/apache/lucene/index/SegmentInfos.java
In Method:	range(int, int)
Code with Finding:	`class SegmentInfos { /** * Returns a new SegmentInfos containing the SegmentInfo * instances in the specified range first (inclusive) to * last (exclusive), so total number of segments returned * is last-first. */ public SegmentInfos range(int first, int last) { SegmentInfos infos = new SegmentInfos(); infos.addAll(super.subList(first, last)); return infos; } }`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
?	1	0.8219697	((pattern support = 10 / 22)(pattern violations = 1 / 1)(violation support = 1 / 1)(overlap = 1 - (1 / 6))) / 4	lucene/1918/original-src/org/apache/lucene/index/SegmentInfos.java#readCurrentUserData(Directory);lucene/1918/original-src/org/apache/lucene/index/DirectoryReader.java#open(Directory, IndexDeletionPolicy, IndexCommit, boolean, int);lucene/1918/original-src/org/apache/lucene/index/IndexWriter.java#addIndexesNoOptimize(Directory[]);lucene/1918/original-src/org/apache/lucene/index/DirectoryReader.java#listCommits(Directory);lucene/1918/original-src/org/apache/lucene/index/IndexWriter.java#addIndexes(Directory[])	10