First Flight #2: Puppy Raffle

Summary

The usedPuppyRaffle::pragma version is an old version and has known bugs.

Vulnerability Details

Impact

The 0.7.6 pragma version has a list of known bugs released by the Ethereum team on December 16, 2020 (https://github.com/ethereum/solidity/blob/28ee5d3fad770dfaf4c5c1addb9f1ee489bc34e3/docs/bugs_by_version.json#L1702-L1714). Some of these bugs are related to arrays. The raffle project relies heavily on arrays for player storage, winner management, and refunds. To prevent potential bugs and unexpected behavior, it is advisable to use a more recent pragma version.

Tools Used

Manual review

Recommendations

Use a solidity version of at least 0.8.18.