Submission Details
Severity:
DOS to users whose HF < MIN_HEALTH_FACTOR and intend to improve this.
Summary
user cannot improve their HF if the destination Hf is still not above THRESHOLD.
This is not supposed as the entire tx is favorable to the protocol invariant.
Vulnerability Details
Impact
Tools Used
Foundry and manual review
Recommendations
Remove healthFactor check _revertIfHealthFactorIsBroken(msg.sender) from function burnDsc(uint256 amount) public
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664 USDC / LOC
14,000 USDC
1,000 USDC
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.