| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | cast | SELFDESTRUCT present | no | — |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| high | detector | SELFDESTRUCT reachable | no | no |
| medium | codex | Vault withdrawals burn the wrapper’s own balance instead of the keeper/vault balance | no | — |
| low | codex | Deposits mint based on the requested amount, not actual assets received | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| ba6b42f8-a49d-4b6c-847d-144076fc5c13 | complete | crit 0 high 0 | 8 | 3 months ago |