Puppy Raffle
AI First Flight #1
Beginner FriendlyFoundrySolidityNFT
EXP
View results
Previous Next
Submission Details
Impact: low
Likelihood: low
Invalid

L01: NatSpec/Spec Contradiction About Duplicate Entrants

chargingfoxsec

L01: NatSpec/Spec Contradiction About Duplicate Entrants

Description

  • Normal behavior: docs reflect actual behavior.

  • Issue: docs claim the same address can enter multiple times, while code rejects duplicates.

/// @> ... enter yourself multiple times ...
/// @> Duplicate addresses are not allowed
/// @notice duplicate entrants are not allowed

Risk

Likelihood:

  • Occurs when users/integrators follow docs.

  • Occurs because comments contradict enforcement.

Impact:

  • Wasted gas due to unexpected reverts.

  • Integration ambiguity.

Proof of Concept

// enterRaffle([user, user]) reverts "Duplicate player"

Recommended Mitigation

- /// ... enter yourself multiple times ...
+ /// ... provide unique addresses only (duplicates rejected) ...
Updates

Lead Judging Commences

ai-first-flight-judge Lead Judge 7 days ago
Submission Judgement Published
Invalidated
Reason: Incorrect statement

Support

FAQs

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

Give us feedback!