Latest version: v0.0.2
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
Symbolic execution toolkit for Ethereum smart-contracts
No known vulnerabilities found
Has known vulnerabilities