TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x0dd5a35fe4cd65fe7928c7b923902b43d6ea29e7 checked chain 1
Latest run: 019bab3b-ab05-7055-bef7-363c9c09e395 complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$59,125.30
last balance 3 months ago
ETH
19.0727
WETH
0.0000
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 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 codex Reentrancy enables double-withdraw of staked VIRTUE no —
medium codex Slashing can cause underflow and permanently block reward updates no —
medium detector ETH value transfer possible no no
medium detector Untrusted CALL target/value reachable no no
low codex Division by zero when no VIRTUE is staked can revert sales/reward distribution no —
info cast Heavy CALL-family usage no —
info cast Heavy EXTCODE*/BALANCE usage no —
From run 019bab3b-ab05-7055-bef7-363c9c09e395

Codex

latest run
complete source findings
Found three issues: a reentrancy bug enabling double-withdraw of staked VIRTUE, and two accounting/math edge cases that can revert rewards/sales under zero-stake or heavy slashing scenarios.
Top findings
  • high Reentrancy enables double-withdraw of staked VIRTUE
  • medium Slashing can cause underflow and permanently block reward updates
  • low Division by zero when no VIRTUE is staked can revert sales/reward distribution
View run

Code Metadata

fingerprint
Created block
14387099
Code size
18198
Codehash
0x2caf3ba5a9fb6faa9754a375cc8a88557fad772d439d3ffcdc47d6c69b9174aa
Priority score
59125.300051

Recent Runs

last 20
Run ID Status Validated Total findings Created
019bab3b-ab05-7055-bef7-363c9c09e395 complete crit 0 high 0 7 3 months ago
019b477e-c6b0-718e-afb7-b1ec2bc88017 complete crit 0 high 0 2 3 months ago
019b3844-a14b-70ea-9e5e-daed22419563 complete crit 0 high 0 2 3 months ago