Some RAAC token may not be burned or collected when burn() is called.
In RAACToken, when burn() is called, burn tax is charged and some RAAC tokens are sent to feeCollector.
However, it's possible that feeCollector is set to address(0), if so, some RAAC tokens not burned as expected.
It is worth noting that burnTaxRate can not be set to 0, this is because taxRateIncrementLimit cannot be set to be larger than 1000 ( 10% in basis points), this will prevent burnTaxRate being set from 1 to 0.
Some RAAC tokens cannot be burned as expected.
Manual Review
In RAACToken, if feeCollector is address(0), it is recommended not to apply burnTaxRate.
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.