| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | Configurable safeSend gas enables reentrancy before accounting updates | no | — |
| low | codex | Unchecked Oraclize query ID can lock bets when price is unexpectedly high | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019be3d6-846c-719a-925b-75105823bfc2 | failed | crit 0 high 0 | 6 | 2 months ago |
| 019b477e-a8e5-70e6-8468-f53a2f9281c8 | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-8226-7002-a80b-181004827e44 | complete | crit 0 high 0 | 2 | 3 months ago |