manticore

⚠️ 项目已归档 ⚠️ 此项目不再进行内部开发和维护。 Manticore Manticore 是一款用于分析智能合约和二进制文件的符号执行工具。 功能特点 程序探索 ：Manticore 可以使用符号输入执行程序，并探索所有可能达到的状态 输入生成 ：Manticore 可以自动生成导致特定程序状态的具体输入 错误发现 ：Manticore 可以检测二进制文件和智能合约中的崩溃及其他故障情况 检测注入 ：Manticore 通过事件回调和指令挂钩提供对状态探索的细粒度控制 编程接口 ：Manticore 通过 Python API 提供对其分析引擎的程序化访问 Manticore...