| 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 bypass allows blacklisted holders to redeem/withdraw via requestRedeem or third-party instantRedeem | no | — |
| low | codex | Batch claim processing does not clear fee component from daily requirements | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 469feb27-7bd0-46d7-9fdc-ae3a5830bb40 | complete | crit 0 high 0 | 5 | 3 months ago |
| 767cc303-78e9-4eed-93ad-02ea1836c1d3 | complete | crit 0 high 0 | 5 | 3 months ago |
| c90b2943-76a6-46ae-b0e5-9947bd96c023 | complete | crit 0 high 0 | 6 | 3 months ago |
| 7495aa02-8383-422c-8c74-0b63f8a7ce90 | complete | crit 0 high 0 | 5 | 3 months ago |