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
Yes

2

0.99

117.24

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))

AliasExternals.aliasGlobals (Node, Node) : void : var #11@Iterator (line 0);AliasExternals.aliasGlobals (Node, Node) : void : var #7@Iterator (line 0);AliasExternals.aliasProperties (Node, Node) : void : var #13@Iterator (line 0)