TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x8793cd69895c45b2d2474236b3cb28fc5c764775 checked chain 1
Latest run: 478c0b93-42fb-420f-976c-10c0f10515a8 complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$263,485.84
last balance 3 months ago
ETH
0.0000
WETH
0.0000
USDC
263,485.84
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 codex Withdraw/redeem always revert due to double nonReentrant in yTHOR overrides no —
high detector Untrusted CALL target/value reachable no no
high detector ETH value transfer possible no no
low codex Signed rewardDebt can exceed accumulated after rounding, causing negative pending and claim DoS no —
low codex Accounting assumes asset/reward tokens transfer the full requested amount no —
From run 478c0b93-42fb-420f-976c-10c0f10515a8

Codex

latest run
complete findings
Found a high-severity withdrawal lock from double nonReentrant guards and two lower-severity accounting edge cases (reward debt rounding and fee-on-transfer token assumptions).
Top findings
  • high Withdraw/redeem always revert due to double nonReentrant in yTHOR overrides
  • low Signed rewardDebt can exceed accumulated after rounding, causing negative pending and claim DoS
  • low Accounting assumes asset/reward tokens transfer the full requested amount
View run

Code Metadata

fingerprint
Created block
21631930
Code size
6121
Codehash
0xa76163cd4c7c0cfef1b58b1d75da8baf314436a5510d1b87db9eebcd6aa592fe
Priority score
263485.843555

Recent Runs

last 20
Run ID Status Validated Total findings Created
478c0b93-42fb-420f-976c-10c0f10515a8 complete crit 0 high 0 5 3 months ago