Property
Languagesolidity
Severitymedium
CWECWE-191: Integer Underflow (Wrap or Wraparound)
Confidence LevelLow
Impact LevelHigh
Likelihood LevelMedium

Description#

Possible arithmetic underflow