The reason for this is that there is no system in Pot::claimCut which checks if the pot is closed, no variable in the contract that tracks when the Pot has been closed, possible for an oversight to be made by the owner on a pot and send more funds for a Pot than required in totalRewards as there is no significant checks which ensures that the rewards of each players is equal to totalRewards, and also possible for dust funds to be left in the contract when players.legth != claimants.length and Pot.closePot has been called by the owner. The implication of this is that Pot::claimCut is not efficient as players who have not claimed thier rewards can still do so after the Pot has closed.
If say there are more players and the totalRewards = 50 as can be seen from the above POC. It can also be seen that it was poosible for player1` to enter the POT even after it was closed.
Manual Review
Implement a system in Pot::claimCut which ensures that it can not be called when the Pot has been closed.
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.