Anyone can call sweepUnclaimedBonus() to send leftover bonus money to recoveryAddress. Separately, the moderator can fix a wrong outcome (a "re-flag") as long as no money has been claimed yet.
The problem is that sweepUnclaimedBonus() sends the bonus money out of the pool and can be called by anyone. So if the moderator later corrects a wrong outcome to CORRUPTED and names a whitehat who is owed the whole pool (stake + bonus), the bonus may already be gone. The whitehat ends up with only the stake, and recoveryAddress keeps bonus money it should not get.
Likelihood:
This happens whenever the moderator first flags SURVIVED by mistake, then later corrects it to CORRUPTED and names a whitehat.
Sweeping the bonus costs nothing and never hurts the caller, so anyone has a reason to do it.
Impact:
The whitehat named in the correction gets only the stake, not the bonus they were supposed to get.
recoveryAddress permanently keeps bonus money it should not get.
The codebase already has a test for this same sequence (testReflagToCorruptedAfterBonusSweepDoesNotOverstateEntitlement), but it only checks that nothing breaks — not that the whitehat gets shortchanged, which is what this test shows. Add this in SweepUnclaimedBonus.t.sol.
Only let the moderator call sweepUnclaimedBonus(). This closes off the third party racing to send out the bonus before a correction.
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.
The contest is complete and the rewards are being distributed.