| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| low | codex | Balance update signatures lack domain separation (replay across contracts/chains) | no | — |
| low | codex | Manual withdrawal fee is unchecked and can underflow | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019bb50b-e18c-7289-a46a-78f23643b5ab | complete | crit 0 high 0 | 6 | 3 months ago |