| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | codex | Trade collateralization checks use stale balances (currentBalances never updated) | 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 |
|---|---|---|---|---|
| 3c0a61cc-d6d4-400c-9d03-c6477aef3dd7 | complete | crit 0 high 0 | 4 | 3 months ago |
| 59e6c0db-cd2a-48a8-a2c9-c925486bfb0b | complete | crit 0 high 0 | 4 | 3 months ago |
| df27c299-2f4f-495f-8947-7cb81561ac74 | complete | crit 0 high 0 | 4 | 3 months ago |