The receive() function should revert when ETH is received on liquidated Vault.
The user can no longer borrow on a liquidated Vault, so there is no need to post any collateral. To prevent the user from mistakenly transferring funds to a liquidated Vault, the receive() function should reject all ETH transferals if the Vault has been liquidated.
Although it is possible to recover those funds by calling the removeCollateral() function, this is an unnecessary action that incurs a gas fee and should be avoided.
A user could mistakenly transfer funds to a liquidated Vault. Although it is possible to recover those funds by calling the removeCollateral() function, this is an unnecessary action that incurs a gas fee and should be avoided.
Manual Review
Add the following code to the receive() function:
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.