Review

Misuse Details

Details about the known misuse from the MUBench dataset.

Potential Hits

Findings of the detector that identify an anomaly in the same file and method as the known misuse.

Hit Rank Confidence Defect Indicator Missing Properties Present Properties Supporting Objects
?

2

0.99

9.37
  • AF Iterator.hasNext () : boolean @ (0)
  • AG (Iterator.next () : Object @ (0) => EX EF Iterator.next () : Object @ (0))
  • AF Iterator.next () : Object @ (0)
  • AG (Iterator.next () : Object @ (0) => EX EF Iterator.hasNext () : boolean @ (0))
  • EF Iterator.hasNext () : boolean @ (0)
  • AG (Iterator.hasNext () : boolean @ (0) => EX EF Iterator.hasNext () : boolean @ (0))
  • AG (Iterator.hasNext () : boolean @ (0) => EX EF Iterator.next () : Object @ (0))
  • EF Iterator.next () : Object @ (0)
  • AG (Iterator.hasNext () : boolean @ (0) => AX AF Iterator.next () : Object @ (0))
  • TeeSinkTokenFilter.end () : void : var #3@Iterator (line 154)
  • TeeSinkTokenFilter.addSinkTokenStream (TeeSinkTokenFilter$SinkTokenStream) : void : var #5@Iterator (line 114)
  • TeeSinkTokenFilter.incrementToken () : boolean : var #3@Iterator (line 134)
?

0

0.97

26.1
  • AG (RETVAL: Collection.iterator () : Iterator => AX AF Iterator.hasNext () : boolean @ (0))
  • AF Iterator.hasNext () : boolean @ (0)
  • AF Iterator.next () : Object @ (0)
  • AG (RETVAL: Collection.iterator () : Iterator => EX EF Iterator.next () : Object @ (0))
  • EF RETVAL: Collection.iterator () : Iterator
  • AG (Iterator.hasNext () : boolean @ (0) => EX EF Iterator.next () : Object @ (0))
  • AF RETVAL: Collection.iterator () : Iterator
  • AG (RETVAL: Collection.iterator () : Iterator => EX EF Iterator.hasNext () : boolean @ (0))
  • AG (Iterator.next () : Object @ (0) => EX EF Iterator.next () : Object @ (0))
  • AG (RETVAL: Collection.iterator () : Iterator => AX AF Iterator.next () : Object @ (0))
  • AG (Iterator.next () : Object @ (0) => EX EF Iterator.hasNext () : boolean @ (0))
  • EF Iterator.hasNext () : boolean @ (0)
  • AG (Iterator.hasNext () : boolean @ (0) => EX EF Iterator.hasNext () : boolean @ (0))
  • EF Iterator.next () : Object @ (0)
  • AG (Iterator.hasNext () : boolean @ (0) => AX AF Iterator.next () : Object @ (0))
  • CheckIndex.testFieldNorms (Collection, SegmentReader) : CheckIndex$Status$FieldNormStatus : var #3@Iterator (line 592)
  • DirectoryReader.doCommit (Map) : void : var #11@Iterator (line 714)
  • DocFieldConsumers.flush (Map, SegmentWriteState) : void : var #10@Iterator (line 61)