| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | Oracle price feeds directly set strike/premium/exercise costs without added integrity checks | no | — |
| low | codex | RFQ/mint options lack strike/expiry validation, enabling underflow and unexercisable options | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| de19212d-681e-48f6-baae-84f5aaaa5c16 | failed | crit 0 high 0 | 4 | 3 months ago |
| 3cda34f9-1fd9-4a06-ad4d-43dfafce2985 | failed | crit 0 high 0 | 6 | 3 months ago |
| f5e42a86-2af2-44b4-88c7-d11e26872a6a | failed | crit 0 high 0 | 7 | 3 months ago |