First Flight #2: Puppy Raffle

Summary

The Puppy Raffle contract uses a floating pragma

Vulnerability Details

Using floating pragmas can lead to damaged or non fuctional contracts

Impact

Floating pragmas allow for potential inconsistencies and vulnerabilities due to differences between Solidity compiler versions. It is possible these contracts get deployed with an outdated compiler version, or on a diffrent chain, which could introduce bugs that negatively affect the Puppy Raffle.

Tools Used

Manual Review

Recommendations

Fix the solidity pragma to what was ued in testing the contract.