First Flight #2: Puppy Raffle

Summary

Puppy Raffle uses an outdated Solidity pragma which can lean to mathmatical errors

Vulnerability Details

The Puppy Raffle contract uses pragma solidity ^0.7.6; whihch is outdated.

Impact

The major issue is that this version of Solidity does not check for arithmatic over/underflows at the language level and can cause issues with mathmatical operations

Tools Used

Manual Review

Recommendations

Use at least pragma 0.8.0 but it is best to use a version closer to the most recently updated