The DSCEngine
contract contains an inverted health factor check in the liquidate
function. Instead of verifying that the user's health factor is below the minimum required value (MIN_HEALTH_FACTOR
) for liquidation, the function checks if the health factor is greater than or equal to the minimum value. This inconsistency can lead to incorrect liquidation behavior, potential system instability, and confusion in error messages.
The vulnerable code segment is from the liquidate function in the DSCEngine contract:
Incorrect Liquidation Behavior: Due to the inverted health factor check, the liquidate
function may wrongly permit liquidation for users whose health factor is above the minimum threshold (MIN_HEALTH_FACTOR
) while denying liquidation for unhealthy accounts. This can result in an imbalanced system, allowing unhealthy accounts to remain unaffected.
Manual
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.