The burnDsc()
does not allow a user to partially burn some available DSC tokens to mitigate the liquidation's impact (if an amount of the burned tokens are not sufficient to improve their health factor to become healthy (> MIN_HEALTH_FACTOR
)).
In the situation that a user's health factor is unhealthy (< MIN_HEALTH_FACTOR
), the user will not be able to partially burn some available of their minted DSC tokens to mitigate the liquidation's impact.
Specifically, the _revertIfHealthFactorIsBroken()
in the burnDsc()
will revert the transaction if the user's health factor is still unhealthy (even if the burning of the DSC tokens may improve the user's health factor).
The burnDsc()
does not allow a user to partially burn some available DSC tokens to mitigate the liquidation's impact (if an amount of the burned tokens are not sufficient to improve their health factor to become healthy (> MIN_HEALTH_FACTOR
)).
With this design choice, a user may face a big impact from the liquidation that cannot be mitigated.
Manual Review
Consider removing the _revertIfHealthFactorIsBroken()
from the burnDsc()
to enable a user to partially burn some available DSC tokens to mitigate their liquidation's impact.
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.