Submission Details
Severity:
`AaveDIVAWrapperCore::_redeemWToken` function is not necessary for this contract, because the wTokens are only minted to the wrapperContract and user does not own any wToken themselves.
Summary
AaveDIVAWrapperCore::_redeemToken function Burns the wToken from the userBalance, but in this contract the user does not own any wTokens as all the tokens are minted to the wrapper contract.
Vulnerability Details
wTokens are minted only to the wrapper contract.
Here is the Invariant Break.
Impact
This function will never execute because the user does not own any wTokens.
Tools Used
Manual Review
Recommendations
Remove this function from the contract.
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
51929 USDC / LOC
14,000
1,000
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.