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 Pattern Support Present Properties Violation Types
?

10

0.96

24.42

  • InstConstraintVisitor.stack () : OperandStack @ (0) < InstConstraintVisitor.stack () : OperandStack @ (0)

73

  • RETVAL: InstConstraintVisitor.stack () : OperandStack < OperandStack.peek (int) : Type @ (0)