manticore

Manticore 是一个用于分析智能合约和二进制文件的符号执行工具。它能够通过符号输入执行程序并探索所有可能的状态，自动生成导致特定程序状态的具体输入，并检测二进制文件和智能合约中的崩溃及其他故障情况。此外，Manticore 提供了细粒度的状态探索控制功能，如事件回调和指令挂钩，以及通过 Python API 访问其分析引擎的编程接口。该工具适用于以太坊智能合约（EVM 字节码）、Linux ELF 二进制文件（支持 x86, x86_64, aarch64 和 ARMv7 架构）及 WASM 模块的安全性和正确性验证场景。尽管项目目前处于维护模式，但仍接受社区提交的小规模、高质量的代码贡献。