Submission Details
Severity:
The `_amount <= 0` check in `DecentralizedStableCoin::burn()&mint` is a confusing implementation and should be rethought
Summary
See Vulnerability Details
Vulnerability Details
This check if not passed reverts with an error message DecentralizedStableCoin__MustBeMoreThanZero(), however the provided calue is a uint which hints that it could never be negative in the first place and the check should instead be if _amount = 0
Impact
Incorrect context
Tools Used
Manual Audit
Recommend Mitigation
Fix this, if our thought process align.
Additional Note
This line has a subtle typo that leads to confusion while reading the natspec comment, "you" should instead be "your". submitting as an attached finding as it's to minuscule to create as a stand alone finding.
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664 USDC / LOC
14,000 USDC
1,000 USDC
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.