15,000 USDC
View results
Submission Details
Severity: gas
Valid

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.

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.