| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | ERC20 collateral gains sent to trove are not transferred, breaking accounting | no | — |
| low | codex | ERC20Permit domain separator is fixed at deployment (fork replay risk) | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019bb490-f382-73c7-8d99-c44c6976ea98 | failed | crit 0 high 0 | 6 | 3 months ago |
| 019b477e-cba9-73ad-8efc-c52ee6326f9b | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-a46a-7242-8ab0-5c46ed8a6d1a | complete | crit 0 high 0 | 2 | 3 months ago |