TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x717170b66654292dfbd89c39f5ae6753d2ac1381 checked chain 1
Latest run: 1e6b6a15-2941-4d1e-8cea-d31117070bed complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$196,976.04
last balance 3 months ago
ETH
0.0000
WETH
63.5407
USDC
0.00
USDT
0.00
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 7 total 7
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 Authorization based on tx.origin no —
medium codex Oracle price freshness is not enforced, allowing stale prices no —
medium detector Untrusted CALL target/value reachable no no
medium detector ETH value transfer possible no no
low codex Collateral withdrawal can skip ratio enforcement when computed ratio rounds to zero no —
info cast Heavy CALL-family usage no —
info cast Heavy EXTCODE*/BALANCE usage no —
From run 1e6b6a15-2941-4d1e-8cea-d31117070bed

Codex

latest run
complete findings
Found 2 issues: stale oracle data is accepted without a freshness bound, and collateral withdrawal can bypass the min-ratio check when the computed ratio truncates to zero.
Top findings
  • medium Oracle price freshness is not enforced, allowing stale prices
  • low Collateral withdrawal can skip ratio enforcement when computed ratio rounds to zero
View run

Code Metadata

fingerprint
Created block
12184052
Code size
17541
Codehash
0x7447dbafb81bd9394b26a2afe75516c3d6c25ec15a951a0ea80a28e0024c981b
Priority score
196976.038620

Recent Runs

last 20
Run ID Status Validated Total findings Created
1e6b6a15-2941-4d1e-8cea-d31117070bed complete crit 0 high 0 7 3 months ago