| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | yes | yes |
| high | detector | ETH value transfer possible | yes | yes |
| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| medium | codex | External CALLs occur before later state writes in selectors 0x615664ba/0x6b1cb549 | no | — |
| medium | codex | Withdrawal-like path decrements storage before CALL and ignores CALL failure | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019b3836-37ce-7111-83e9-98179b7a225d | complete | crit 0 high 2 | 4 | 3 months ago |