| Severity | Tool | Title | Validated | Confirmed |
|---|---|---|---|---|
| high | slither | Staking.withdraw(uint256) (contracts/Contract.sol#1300-1310) ignores return value by ABR.transfer(msg.sender,what) (contracts/Contract.sol#1309-1310) | no | — |
| high | slither | Bridge.removeToken(bytes4,bytes32,address) (contracts/Contract.sol#1620-1646) sends eth to arbitrary user | no | — |
| high | slither | Reentrancy in Bridge.removeToken(bytes4,bytes32,address) (contracts/Contract.sol#1620-1646): | no | — |
| high | detector | ETH value transfer possible | no | no |
| high | detector | Untrusted CALL target/value reachable | no | no |
| high | slither | Staking.deposit(uint256) (contracts/Contract.sol#1272-1300) ignores return value by ABR.transferFrom(msg.sender,address(this),_amount) (contracts/Contract.sol#1297-1300) | no | — |
| medium | detector | CREATE/CREATE2 reachable | no | no |
| medium | codex | Unchecked ERC20 return values can mint unbacked xABR | no | — |
| medium | codex | Bridge accounting breaks with fee-on-transfer or rebasing tokens | no | — |
| low | codex | ETH transfers use `transfer`, enabling recipient DoS | no | — |
| low | codex | FeeOracle can be manipulated via temporary xABR balances | no | — |
| low | cast | Contract creation opcode present | no | — |
| info | cast | Heavy CALL-family usage | no | — |
| info | cast | Heavy EXTCODE*/BALANCE usage | no | — |
| Run ID | Status | Validated | Total findings | Created |
|---|---|---|---|---|
| 019bab3b-ac52-71c2-b78b-846cf73d1ca2 | complete | crit 0 high 0 | 14 | 3 months ago |
| 019b477e-cd9a-7211-aeec-b2aedbcc0f78 | complete | crit 0 high 0 | 3 | 3 months ago |
| 019b3844-a554-73f4-92a1-17590cba6c1e | complete | crit 0 high 0 | 3 | 3 months ago |