Redeem functions do not make use of the isAllowedToken
modifier
The redeemCollateralForDsc
function allows burning DSC without verifying that the tokens used as collateral are allowed.
Allowing the burning of tokens but without returning the collateralized tokens because the transaction will fail since there will be no balance of the unlisted tokens. Without the user knowing what happened and burning their tokens.
High
Manual code reviw
Use isAllowedToken
modifier for both functions.
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.