| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| critical | codex | Unprotected proxy initialization allows takeover of DutchExchange | no | — |
| high | codex | Reentrancy window in withdraw before balance update | no | — |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | Oracle validity flag ignored; invalid/stale prices still used | no | — |
| low | codex | Unchecked low-level call in PriceFeed.post | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 9c711161-870e-44a5-9dec-202386f236a2 | complete | crit 0 high 0 | 4 | 3 months ago |
| f48b1e81-4fa5-4c5d-a3aa-b4088c28d8f0 | complete | crit 0 high 0 | 7 | 3 months ago |