| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Authorization based on tx.origin | no | — |
| medium | codex | ETH purchases spend OptionsExchange’s own balance (no msg.value check) | 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 | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 1d90d876-5b62-4dc6-83d3-3dc515b7cc9f | complete | crit 0 high 0 | 5 | 3 months ago |
| 019b477e-b877-7064-bf9d-b93f3aab0644 | complete | crit 0 high 0 | 3 | 3 months ago |
| 019b3844-95db-7320-b47a-9025d0139fc9 | complete | crit 0 high 0 | 3 | 3 months ago |