| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| critical | codex | trade() never updates currentBalances, enabling balance overwrite to mint margin | no | — |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| No runs yet. | ||||