| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | detector | ETH value transfer possible | yes | yes |
| high | detector | Untrusted CALL target/value reachable | yes | yes |
| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| medium | codex | Allowance accounting is nonstandard and can break ERC20 approval invariants | no | — |
| low | codex | `approveAndCall` performs an untrusted callback after writing approval state | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019b3836-39c4-7362-8ad4-f82efcfdfaf7 | complete | crit 0 high 2 | 4 | 3 months ago |