| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | ETH value transfer possible | no | no |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | codex | Withdrawals ignore locked collateral, enabling pool insolvency | no | — |
| medium | detector | CREATE/CREATE2 reachable | no | no |
| medium | codex | Chainlink price used without freshness/positivity checks | no | — |
| low | cast | Contract creation opcode present | no | — |
| low | codex | Unrestricted `poolApprove` lets anyone grant unlimited allowances from Facade | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 4512afe7-5f93-4201-92ac-099a73dc43a6 | complete | crit 0 high 0 | 8 | 3 months ago |