Treasury expects the amount in the transfer function will have the same amount received or withdrawn, however this is not true for fee-on-transfer tokens or rebase tokens.
The deposit and Withdraw don't check for the amount of tokens received and increment the balance of the particular token.
They rely on the value passed to the transfer ~ functions and increment the balance.
This will lead to disparity of balances where the reserves has lesser token amount than what the balance mapping shows.
Users may not be able to redeem their amount because of incorrectly
Manual analysis
check for balance that was given and taken away and adjust balance mapping accordingly.
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.