Return Value of aavePool.repay Ignored, Potentially Miscomputing Withdrawn Collateral
Description:
repay() returns the actual amount repaid, but the contract ignores this value and assumes _amount was fully repaid when computing collateral withdrawal.
Impact:
If the repaid amount is lower than _amount, the contract may attempt to withdraw more collateral than allowed, causing reverts or incorrect accounting.
Recommended Mitigation:
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.
The contest is complete and the rewards are being distributed.