Core Contracts
Regnum Aurum Acquisition Corp
HardhatReal World AssetsNFT
77,280 USDC
View results
Previous Next
Submission Details
Severity: low
Invalid

Imprecise Debt Threshold Check

dharkartz

Summary

The closeLiquidation function's debt threshold check uses > instead of >=, allowing liquidation closure when debt equals the dust threshold.

Vulnerability Details

Current implementation:

if (userDebt > DUST_THRESHOLD) revert DebtNotZero();

This allows liquidation closure when userDebt == DUST_THRESHOLD, potentially leaving residual debt.

Impact

  • Possible premature liquidation closure with remaining debt

  • Financial accounting inconsistencies

Tools Used

  • Manual code review

  • Static analysis

Recommendations

  • Update threshold check:

if (userDebt >= DUST_THRESHOLD) revert DebtNotZero();

  • Add comprehensive testing for threshold edge cases

Updates

Lead Judging Commences

inallhonesty Lead Judge 3 months ago
Submission Judgement Published
Invalidated
Reason: Non-acceptable severity

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.