TW
Tripwire
Find contracts. Test them. Review real vulns.
Contract
0x80c1c65463427ea785fb7b03ba84b91f49f272eb checked chain 1
Latest run: 019d5666-71d1-72c0-baeb-d50b2b87dd1a complete
Dedaub
Queue = batch runner. Audit = immediate run. Audit + LLM forces codex.
Value & Balances
$41,641.82
last balance 3 months ago
ETH
0.0000
WETH
0.0000
USDC
6,571.40
USDT
35,070.42
Findings Signal
0
confirmed findings
crit 0 high 0 unconfirmed 10 total 10
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 Untrusted CALL target/value reachable no no
high detector ETH value transfer possible no no
high slither Sale._executeTokenSell(address,uint256,uint256,IERC20Metadata) (contracts/Sale.sol#376-395) sends eth to arbitrary user no —
high slither Reentrancy in Sale._executeTokenBuy(address,address,uint256,uint256,IERC20Metadata,uint256,uint256,uint256,bytes) (contracts/Sale.sol#338-376): no —
high slither Sale.withdrawTokens(IERC20Metadata,address,uint256) (contracts/Sale.sol#258-273) sends eth to arbitrary user no —
high codex Referrer field is never validated, enabling self-referral and cyclic referral farming no —
medium detector CREATE/CREATE2 reachable no no
medium codex Exact-output buys can mint market tokens for zero payment because rounding-down is unchecked no —
low cast Contract creation opcode present no —
info cast Heavy CALL-family usage no —
From run 019d5666-71d1-72c0-baeb-d50b2b87dd1a

Codex

latest run
complete source findings
Sale.sol has two user-exploitable issues: referral logic allows self/cyclic bonus farming, and exact-amount purchases can round payment down to zero for low-priced payment tokens.
Top findings
  • high Referrer field is never validated, enabling self-referral and cyclic referral farming
  • medium Exact-output buys can mint market tokens for zero payment because rounding-down is unchecked
View run

Code Metadata

fingerprint
Created block
22888331
Code size
16068
Codehash
0x51e4bab6d2ddaf720029bdde362e1f15a371f6383c76679e6b1a39a0ddc84f0d
Priority score
41641.824801

Recent Runs

last 20
Run ID Status Validated Total findings Created
019d5666-71d1-72c0-baeb-d50b2b87dd1a complete crit 0 high 0 10 1 week ago