TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x3fda67f7583380e67ef93072294a7fac882fd7e7 checked chain 1
Latest run: bcdfa77d-89f0-4bd4-94b1-88110b7b2e0f complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$1,322,493.75
last balance 3 months ago
ETH
0.0000
WETH
426.6109
USDC
0.00
USDT
0.00
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 6 total 6
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 Reentrancy via transfer-out before state updates in borrow/withdraw no —
high detector Untrusted CALL target/value reachable no no
high detector ETH value transfer possible no no
medium codex Fee-on-transfer tokens can mint unbacked balances due to assuming full transfer-in amount no —
info cast Heavy EXTCODE*/BALANCE usage no —
info cast Heavy CALL-family usage no —
From run bcdfa77d-89f0-4bd4-94b1-88110b7b2e0f

Codex

latest run
complete findings
Identified 2 issues: a reentrancy window on transfer-out in borrow/withdraw, and accounting mismatches for fee-on-transfer tokens in transfer-in paths.
Top findings
  • high Reentrancy via transfer-out before state updates in borrow/withdraw
  • medium Fee-on-transfer tokens can mint unbacked balances due to assuming full transfer-in amount
View run

Code Metadata

fingerprint
Created block
6400278
Code size
19206
Codehash
0x8c98524e0fad9b9718b00167421a7f0e048430024617b75ed3fa4108d48c8e14
Priority score
1322493.747310

Recent Runs

last 20
Run ID Status Validated Total findings Created
bcdfa77d-89f0-4bd4-94b1-88110b7b2e0f complete crit 0 high 0 6 3 months ago