TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0xf3b466f09ef476e311ce275407cfb09a8d8de3a7 checked chain 1
Latest run: bb4cd4e4-bb89-4d72-9bad-ab081d2ed309 complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$390,642.76
last balance 3 months ago
ETH
0.0000
WETH
0.0000
USDC
390,642.76
USDT
0.00
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 4 total 4
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
No confirmed findings yet.
Show unconfirmed findings
Severity Tool Title Validated Confirmed
high codex Keeper-controlled currentBalance can arbitrarily skew pricePerShare and queued withdrawals no —
high detector Untrusted CALL target/value reachable no no
high detector ETH value transfer possible no no
medium codex Owner can change vault asset/decimals mid-flight, breaking accounting and withdrawals no —
From run bb4cd4e4-bb89-4d72-9bad-ab081d2ed309

Codex

latest run
complete findings
Identified 2 issues: keeper-controlled balance reporting can manipulate share pricing/withdrawals, and owner can change vault parameters (asset/decimals) mid-flight, breaking accounting.
Top findings
  • high Keeper-controlled currentBalance can arbitrarily skew pricePerShare and queued withdrawals
  • medium Owner can change vault asset/decimals mid-flight, breaking accounting and withdrawals
View run

Code Metadata

fingerprint
Created block
19179289
Code size
13456
Codehash
0x29f92ce53dd9e0d3c296d660127c763a6443b2175247155d0a138b05341b525a
Priority score
390642.758976

Recent Runs

last 20
Run ID Status Validated Total findings Created
bb4cd4e4-bb89-4d72-9bad-ab081d2ed309 complete crit 0 high 0 4 3 months ago