Review

Potential Misuse

Anomaly identified by the detector. Please review whether this anomaly corresponds to a misuse.

Metadata

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

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)