Foundry DeFi Stablecoin CodeHawks Audit Contest

Summary

The (balance < _amount) check on function burn(uint256 _amount) is redundant as the OpenZeppelin ERC20 _burn method which is called later has that check already.

Vulnerability Details

Impact

Unnecessary redundant check wasting gas.

Tools Used

Recommendations

Remove:
if (balance < _amount) {
revert DecentralizedStableCoin__BurnAmountExceedsBalance();
}