A symbolic execution engine for EVM smart contract binaries.
Last updated Jun 17, 2026
122
Stars
20
Forks
10
Issues
0
Stars/day
Attention Score
73
Language breakdown
Python 96.0%
Solidity 3.1%
Shell 0.9%
▸ Files
click to expand
README
No README available.
