Security (1)
Tag
["Smart contract security", "Symbolic execution", "Vulnerability detection", "Open source"]
Description
Open-source symbolic-execution security analysis tool for EVM bytecode that detects vulnerabilities in Ethereum and other EVM-compatible smart contracts.
Plan Type
Free
