| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| critical | codex | Public verifyState delegates to attacker-controlled target during upgrades, enabling arbitrary code execution and token drain | no | — |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 9669f033-142c-498f-a5e9-51ea916b6a54 | complete | crit 0 high 0 | 4 | 3 months ago |
| 019b477e-b987-7164-9180-e37618d7237f | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-9683-7007-9af3-3138d429962d | complete | crit 0 high 0 | 2 | 3 months ago |