TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x4dac3e07316d2a31baabb252d89663dee8f76f09 checked chain 1
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$61,154.96
last balance 3 months ago
ETH
0.0000
WETH
18.9974
USDC
2,263.13
USDT
0.00
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 15 total 15
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 3 months 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 slither GovTreasurer.safeGDAOTransfer(address,uint256) (contracts/Contract.sol#1105-1113) ignores return value by gdao.transfer(_to,GDAOBal) (contracts/Contract.sol#1109-1110) no
high detector Authorization based on tx.origin no
high slither GovTreasurer.safeGDAOTransfer(address,uint256) (contracts/Contract.sol#1105-1113) ignores return value by gdao.transfer(_to,_amount) (contracts/Contract.sol#1112-1113) no
medium slither Reentrancy in GovTreasurer.withdraw(uint256,uint256) (contracts/Contract.sol#1089-1104): no
medium slither Reentrancy in GovTreasurer.deposit(uint256,uint256) (contracts/Contract.sol#1059-1089): no
medium slither Reentrancy in GovTreasurer.set(uint256,uint256,bool) (contracts/Contract.sol#976-985): no
medium detector ETH value transfer possible no no
medium slither Reentrancy in GovTreasurer.add(uint256,IERC20,uint256,bool) (contracts/Contract.sol#963-976): no
medium codex Reward payout can be reentered before accounting updates no
medium detector Untrusted CALL target/value reachable no no
medium slither Reentrancy in GovTreasurer.withdraw(uint256,uint256) (contracts/Contract.sol#1089-1104): no
medium slither Reentrancy in GovTreasurer.updatePool(uint256) (contracts/Contract.sol#1030-1040): no
low codex Reward transfers ignore ERC20 return values no
low codex Emergency withdraw always transfers zero tokens no
info cast Heavy EXTCODE*/BALANCE usage no

Codex

latest run
complete source findings
Found 1 medium reentrancy risk in reward payout ordering and 2 low issues (emergencyWithdraw transfers zero, unchecked ERC20 transfer return).
Top findings
  • medium Reward payout can be reentered before accounting updates
  • low Reward transfers ignore ERC20 return values
  • low Emergency withdraw always transfers zero tokens

Code Metadata

fingerprint
Created block
11500747
Code size
9971
Codehash
0x58250542ab3d10125ef9664d2abcd8780de1c498156ff2b9ac94712dfe255442
Priority score
61154.955743

Recent Runs

last 20
Run ID Status Validated Total findings Created
019bab3b-a9ce-7222-9441-b6180eb0d007 complete crit 0 high 0 15 3 months ago