| 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 | Token deposits credit full amount without verifying actual tokens received | no | — |
| medium | detector | CREATE/CREATE2 reachable | no | no |
| medium | codex | Packed hashing with string enables signature collisions in pTokenRedeemForUser | no | — |
| low | cast | Contract creation opcode present | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019ba9e0-be27-70f7-98f5-d834a3811afc | failed | crit 0 high 0 | 10 | 3 months ago |
| 019b477e-b786-7380-bada-b8f50c29989b | complete | crit 0 high 0 | 4 | 3 months ago |
| 019b3844-9508-7029-8cc2-850eb974a25f | complete | crit 0 high 0 | 4 | 3 months ago |