| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | detector | ETH value transfer possible | no | no |
| medium | codex | Blacklist can be bypassed via allowance-based redemption/claims | no | — |
| low | codex | External asset change limit can be bypassed when values are <1 | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| f8c17a8c-6af1-4eab-9c8d-d6d4b5f9b4a8 | complete | crit 0 high 0 | 5 | 3 months ago |
| cae98014-97ad-4a90-995b-7a0ce222c6b0 | complete | crit 0 high 0 | 6 | 3 months ago |