:warning: Project is in Maintenance Mode :warning:
This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor enhancements.
Any new or currently open issues and discussions shall be answered and supported by the community.
Manticore
Manticore is a symbolic execution tool for the analysis of smart contracts and binaries.
Features
Program Exploration: Manticore can execute a program with symbolic inputs and explore all the possible states it can reach
Input Generation: Manticore can automatically produce concrete inputs that result in a given program state
Error Discovery: Manticore can detect crashes and other failure cases in binaries and smart contracts