In contract DebtToken.sol in _update function condition is checking that if address is not zero then revert an error TransferNotAllowed .
In contract DebtToken.sol in _update function the if-else condition is applied , which is checking that if the address is not zero then revert error TransferNotAllowed .
if (from != address(0) && to != address(0))
when someone call an _update function then it will revert an error TransferNotAllowed and restrict the access of transfering tokens .
Manual Review
Correct the condition and check it for zero address .
so that non zero address can execute the _update function and while zero address it reverts an error.
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.