TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x6a9f9d6f5d672a9784c5e560a9648de6cbe2c548 checked chain 1
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$51,339.76
last balance 3 months ago
ETH
16.5612
WETH
0.0000
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 3
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 ERC20 collateral gains sent to trove are not transferred, breaking accounting no
low codex ERC20Permit domain separator is fixed at deployment (fork replay risk) no
info cast Heavy EXTCODE*/BALANCE usage no
info cast Heavy CALL-family usage no

Codex

latest run
complete source findings
Found 2 issues: ERC20 collateral gains moved to a trove are not actually transferred, risking accounting mismatch/DoS; ERC20Permit uses a static domain separator, enabling signature replay across forks.
Top findings
  • medium ERC20 collateral gains sent to trove are not transferred, breaking accounting
  • low ERC20Permit domain separator is fixed at deployment (fork replay risk)

Code Metadata

fingerprint
Created block
15611760
Code size
15392
Codehash
0xa760ead1fbe3aef87d893b179781496fff3cf6682aacab363ef55159fe4f05c9
Priority score
51339.756223

Recent Runs

last 20
Run ID Status Validated Total findings Created
019bb490-f382-73c7-8d99-c44c6976ea98 failed crit 0 high 0 6 3 months ago
019b477e-cba9-73ad-8efc-c52ee6326f9b complete crit 0 high 0 2 3 months ago
019b3844-a46a-7242-8ab0-5c46ed8a6d1a complete crit 0 high 0 2 3 months ago