| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | codex | Predictable airdrop RNG enables deterministic wins and draining airDropPot_ via constructor calls | no | — |
| medium | detector | Untrusted CALL target/value reachable | no | no |
| medium | detector | ETH value transfer possible | no | no |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| dc383973-a9df-4d52-9ed4-f43a225cee09 | complete | crit 0 high 0 | 5 | 3 months ago |
| 019b477e-b212-735d-b408-2255336a9310 | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-903d-7266-9c08-289f6a113d0f | complete | crit 0 high 0 | 2 | 3 months ago |