Puppy Raffle

AI First Flight #1
Beginner FriendlyFoundrySolidityNFT
EXP
View results
Submission Details
Severity: medium
Valid

`withdrawFees()` requires exact balance match → forced ETH send permanently locks all fees

Description

  • Normal: Fee withdrawal should transfer the tracked fee amount regardless of contract balance variations.

  • Bug: withdrawFees() requires the contract balance to EXACTLY equal totalFees. A forced ETH send (e.g., via selfdestruct) makes the balance exceed totalFees, and withdrawals permanently fail.

// src/PuppyRaffle.sol:158
require(address(this).balance == uint256(totalFees), "PuppyRaffle: mismatch"); //@> Exact match required

Risk

Likelihood: Anyone can force-send ETH via selfdestruct or a pre-funded contract. This costs the attacker minimal ETH and permanently bricks withdrawals.

Impact: ALL accumulated fees are permanently locked — no one can call withdrawFees().

Recommended Mitigation

- require(address(this).balance == uint256(totalFees), "mismatch");
+ // Transfer the tracked fee amount, regardless of contract balance
+ uint256 amount = uint256(totalFees);
+ if (amount > address(this).balance) amount = address(this).balance;
+ (bool success,) = feeAddress.call{value: amount}("");
+ require(success);
Updates

Lead Judging Commences

ai-first-flight-judge Lead Judge about 2 hours ago
Submission Judgement Published
Validated
Assigned finding tags:

[M-02] Slightly increasing puppyraffle's contract balance will render `withdrawFees` function useless

## Description An attacker can slightly change the eth balance of the contract to break the `withdrawFees` function. ## Vulnerability Details The withdraw function contains the following check: ``` require(address(this).balance == uint256(totalFees), "PuppyRaffle: There are currently players active!"); ``` Using `address(this).balance` in this way invites attackers to modify said balance in order to make this check fail. This can be easily done as follows: Add this contract above `PuppyRaffleTest`: ``` contract Kill { constructor (address target) payable { address payable _target = payable(target); selfdestruct(_target); } } ``` Modify `setUp` as follows: ``` function setUp() public { puppyRaffle = new PuppyRaffle( entranceFee, feeAddress, duration ); address mAlice = makeAddr("mAlice"); vm.deal(mAlice, 1 ether); vm.startPrank(mAlice); Kill kill = new Kill{value: 0.01 ether}(address(puppyRaffle)); vm.stopPrank(); } ``` Now run `testWithdrawFees()` - ` forge test --mt testWithdrawFees` to get: ``` Running 1 test for test/PuppyRaffleTest.t.sol:PuppyRaffleTest [FAIL. Reason: PuppyRaffle: There are currently players active!] testWithdrawFees() (gas: 361718) Test result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 3.40ms ``` Any small amount sent over by a self destructing contract will make `withdrawFees` function unusable, leaving no other way of taking the fees out of the contract. ## Impact All fees that weren't withdrawn and all future fees are stuck in the contract. ## Recommendations Avoid using `address(this).balance` in this way as it can easily be changed by an attacker. Properly track the `totalFees` and withdraw it. ```diff function withdrawFees() external { -- require(address(this).balance == uint256(totalFees), "PuppyRaffle: There are currently players active!"); uint256 feesToWithdraw = totalFees; totalFees = 0; (bool success,) = feeAddress.call{value: feesToWithdraw}(""); require(success, "PuppyRaffle: Failed to withdraw fees"); } ```

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.

Give us feedback!