_revertIfHealthFactorIsBroken(msg.sender) on burnDsc will revert when user try to make his healthFactor grow
Summary
It is possible to hit this if nobody has liquidated a user and collateral prices have dropped significantlyThere is a possibility for a user to burn dsc and therefore make his health factor better, but still broken.
Vulnerability Details
We don't want to revert when someone has make their health factor better (even if it is still broken) and even burn gas fee for that.
Impact
The operation in this location is useless and won't allow user to strengthen the system, when burning DCS, without redeeming collateral.
Tools Used
Manual Review
Recommendations
Delete this line 244. _revertIfHealthFactorIsBroken(msg.sender); // I don't think this would ever hit...
Prize pool breakdown
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.