veRAACToken
has a whenNotPaused
modifier. Yet there are no functions to pause and unpause the contract. See modifier here.
To check this just use a search tool and look for paused
in the veRAACToken
. You will see there is no function to alter the paused
state.
Furthermore no inherited contract has pause functionality implemented:
From the bot report, Medium-11 is the same finding, yet it missed that this also happens in the veRAACToken
.
If a pause is needed due to a hack or bug, it will just not be posible.
Add functions that alter the bool paused
state or use the Pausable
OpenZeppelin contract.
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.