TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0xf5540ea5638cf4bda40e6e34ebc005095926aafc checked chain 1
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$3.10
last balance 3 months ago
ETH
0.0010
WETH
0.0000
USDC
0.00
USDT
0.00
Findings Signal
2
confirmed findings
crit 0 high 2 unconfirmed 3 total 5
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 1
checked 1 week ago

Latest Findings

validated = confirmed for call sinks; sink observed for others
Severity Tool Title Validated Confirmed
high detector ETH value transfer possible yes yes
high detector Untrusted CALL target/value reachable yes yes
Show unconfirmed findings
Severity Tool Title Validated Confirmed
medium detector CREATE/CREATE2 reachable no no
medium codex `sell(uint256)` updates balances before a low-level payout CALL whose success is ignored no
medium codex `buy()` uses miner/validator-influenced block data as entropy for value-bearing outcomes no

Codex

latest run
complete bytecode findings
Bytecode is not a proxy and I did not see reachable DELEGATECALL. The meaningful issues are a silent-failure payout path in `sell(uint256)` and value-bearing randomness derived from block variables in `buy()`. I treated...
Top findings
  • medium `sell(uint256)` updates balances before a low-level payout CALL whose success is ignored
  • medium `buy()` uses miner/validator-influenced block data as entropy for value-bearing outcomes

Code Metadata

fingerprint
Created block
1479163
Code size
2518
Codehash
0x2d8604b642d63ef6e2be9ce3d240fad51ffc95ab9f2019526b764756e53c142c
Priority score
3.100000

Recent Runs

last 20
Run ID Status Validated Total findings Created
019b3836-4034-73e0-8162-117f992b4342 complete crit 0 high 2 5 3 months ago