TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x51e9244bae3fca7473fe48651dfd7db53aa55856 checked chain 1
Latest run: 019c0ea9-09bb-708b-a5eb-c7330d8c9ab3 complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$42,830.95
last balance 3 months ago
ETH
13.8164
WETH
0.0000
USDC
0.00
USDT
0.00
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 8 total 8
validated = confirmed for call sinks; sink observed for others

Proxy & Workflow

linkage
Proxy status
non-proxy
Implementation address
—
Proxies pointing here
0
Workflow
checked
attempts 3
checked 1 week ago

Latest Findings

validated = confirmed for call sinks; sink observed for others
No confirmed findings yet.
Show unconfirmed findings
Severity Tool Title Validated Confirmed
high codex Predictable/manipulable randomness for winner and jackpot selection no —
high detector Untrusted CALL target/value reachable no no
high detector ETH value transfer possible no no
high slither Reentrancy in RobTheBank._bigLottery(address) (contracts/Contract.sol#257-298): no —
high slither Reentrancy in RobTheBank._buy(uint256,uint256) (contracts/Contract.sol#193-232): no —
high slither RobTheBank._bigLottery(address) (contracts/Contract.sol#257-298) sends eth to arbitrary user no —
medium codex Service can call lottery before round end and without winKey set no —
info cast Heavy EXTCODE*/BALANCE usage no —
From run 019c0ea9-09bb-708b-a5eb-c7330d8c9ab3

Codex

latest run
complete source findings
Found issues in winner selection and lottery flow that allow manipulation or premature payout.
Top findings
  • high Predictable/manipulable randomness for winner and jackpot selection
  • medium Service can call lottery before round end and without winKey set
View run

Code Metadata

fingerprint
Created block
6244191
Code size
8862
Codehash
0x3d40535da0b53127cdb64a0b5b6dbe723c484d11c15ca3a56272e86cc0ea55f1
Priority score
42830.950993

Recent Runs

last 20
Run ID Status Validated Total findings Created
019c0ea9-09bb-708b-a5eb-c7330d8c9ab3 complete crit 0 high 0 8 2 months ago
019b477e-b1b1-73f5-9a7f-d91c49dea272 complete crit 0 high 0 2 3 months ago
019b3844-9006-726f-8970-8ab7c867827f complete crit 0 high 0 2 3 months ago