TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x173ae6283a717b6cdd5491eac5f82c082a8c674b checked chain 1
Latest run: f854f1ec-178a-4a54-94b8-ab2eb2947263 complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$892,332.70
last balance 3 months ago
ETH
0.0000
WETH
287.2414
USDC
1,884.45
USDT
0.00
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 5 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
No confirmed findings yet.
Show unconfirmed findings
Severity Tool Title Validated Confirmed
high detector Untrusted CALL target/value reachable no no
high detector ETH value transfer possible no no
medium codex Collateral accounting assumes full transfer amount (fee-on-transfer tokens can undercollateralize vaults) no —
info cast Heavy EXTCODE*/BALANCE usage no —
info cast Heavy CALL-family usage no —
From run f854f1ec-178a-4a54-94b8-ab2eb2947263

Codex

latest run
complete findings
Found 1 accounting risk: collateral balance is credited using the requested transfer amount rather than the actual amount received, which can undercollateralize vaults for fee-on-transfer/rebasing tokens.
Top findings
  • medium Collateral accounting assumes full transfer amount (fee-on-transfer tokens can undercollateralize vaults)
View run

Code Metadata

fingerprint
Created block
21737560
Code size
24205
Codehash
0x7da1d6c6adf8ebee89d81fed0e4a19c5819a8b20b07a9bc987f64140c63fbfdd
Priority score
892332.704975

Recent Runs

last 20
Run ID Status Validated Total findings Created
f854f1ec-178a-4a54-94b8-ab2eb2947263 complete crit 0 high 0 5 3 months ago