Submission Details
Impact:
Likelihood:
L-3 reminder:
Root + Impact
The root cause is the unnecessary check of health factor in the burn dsc function because burning dsc would never decrease your health factor.
impact is gonna be low, will consume, uh, disaster return and check that will consume gas.
Description
Burning DSC can never break health factor — the check is mathematically impossible to triggers
// Root cause in the codebase with @> marks to highlight the relevant section
self._revert_if_health_factor_is_broken(msg.sender)
Risk
Likelihood:
-
Reason 1 // Describe WHEN this will occur (avoid using "if" statements)
-
Reason 2
Impact:
-
Impact 1
-
Impact 2
Proof of Concept
User calls. This function. This function. Revert will not happen in any case because burning DSC would just increase the health factor.
Recommended Mitigation
to mitigate this thing. We need to mitigate this error from the function.
- remove this code
self._revert_if_health_factor_is_broken(msg.sender)
+ add this code
Rewards breakdown
This contest has a flat reward structure with the following payouts:
Live
The contest is live. Earn rewards by submitting a finding.
Judging
Submissions are being reviewed by our AI judge. Results will be available in a few minutes.
View all submissionsRewards Distribution
The contest is complete and the rewards are being distributed.