| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | slither | SharkPool.do_redemption() (contracts/Contract.sol#310-321) ignores return value by base_contract.transfer(owner,owner_cut) (contracts/Contract.sol#316-317) | no | — |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | slither | Reentrancy in SharkPool.mine() (contracts/Contract.sol#252-288): | no | — |
| high | detector | ETH value transfer possible | no | no |
| high | slither | SharkPool.do_redemption() (contracts/Contract.sol#310-321) ignores return value by base_contract.transfer(msg.sender,remainder) (contracts/Contract.sol#319-320) | no | — |
| medium | slither | Reentrancy in SharkPool.do_redemption() (contracts/Contract.sol#310-321): | no | — |
| medium | codex | Slot reuse bug can overwrite active users when pool is full | no | — |
| medium | codex | Fallback redemption performs external token transfers before clearing balance and without reentrancy guard | no | — |
| medium | slither | Reentrancy in SharkPool.fallback() (contracts/Contract.sol#225-252): | no | — |
| low | codex | Expired users are not removed from the mapping, preventing re-join and mis-accounting contributions | no | — |
| low | codex | Unchecked token transfer return values can zero balances without payout | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019be3d6-8329-7283-9a66-0484d43643d5 | complete | crit 0 high 0 | 12 | 2 months ago |
| 019b477e-aa23-7135-9866-7432f7d6180c | complete | crit 0 high 0 | 2 | 3 months ago |
| 019b3844-8466-7184-9904-60f7fcfa1873 | complete | crit 0 high 0 | 2 | 3 months ago |