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
No

1

0.99

104.05

  • InstConstraintVisitor.stack () : OperandStack @ (0) < InstConstraintVisitor.constraintViolated (Instruction, String) : void @ (0)

107

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