| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | Liquidation escrow can become undercollateralized when pool-funded loans use the liquidation reward deposit as available capital | no | — |
| low | codex | Borrower loan index is never set, corrupting loan tracking on removal | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019be3d6-8317-73f5-b8ac-a5ffbb5f9eb3 | failed | crit 0 high 0 | 6 | 2 months ago |
| 019b477e-d5aa-72b3-8e2d-26d5f1a4a0c1 | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-ad50-7278-8bb6-98507801411f | complete | crit 0 high 0 | 2 | 3 months ago |