The comparison <= 0
is performed on parameters of type uint256
. By the definition of uint
, such parameters can not be less than zero. Therefore the comparison <= 0
can be replaced by == 0
. This replacement will make the comparison being performed closer to the true definition of uint256
.
Funds are not at risk.
Manual review.
Change the comparison <= 0
to == 0
in DecentralizedStableCoin.sol
. The changed lines will look as follows:
line 48
line 61
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.