| 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 |
| high | slither | SimpleERC20Escrow.pay(address,uint256) (contracts/Contract.sol#34-38) ignores return value by token.transfer(recipient,amount) (contracts/Contract.sol#37-38) | no | — |
| low | codex | Unchecked ERC20 transfer return value can mask failed payouts | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019c0eab-909f-728c-9614-1375a52b5654 | complete | crit 0 high 0 | 7 | 2 months ago |