The RAACToken.burn() function burns the RAAC token of users and send a portion of the burning amount to feeCollector. However, taxAmount of RAAC is not burnt when feeCollector is zero due to incorrect implementation.
The RAACToken.burn() function sends taxAmount of RAAC token to feeCollector. However, when feeCollector is zero it doesn't send it to feeCollector and also doesn't burn it. Therfore, taxAmount remains to user.
The full amount of user is not burnt.
Manual Review
The calculation of taxAmount needs to account for the possibility that feeCollector is zero.
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.