Foundry DeFi Stablecoin CodeHawks Audit Contest

Summary

DSCEngine will not work with fee on transfer tokens.

Vulnerability Details

When fee on transfer token will be used as collateral, then DSCEngine contract will not be able to work with it, because it doesn't check balance before and after collateral was provided. This will create solvency problems eventually, because balance of user's will be more than total assets available in the contract.

Impact

Contract can become inslolvent.

Tools Used

VsCode

Recommendations

To add fee on transfer support you need to measure how much tokens user provided.