文件名称：manticore：符号执行工具
文件大小：7.85MB
文件格式：ZIP
更新时间：2024-02-25 22:18:03
python testing security emulation ethereum
Manticore Manticore是用于分析智能合约和二进制文件的符号执行工具。 产品特点 程序探索：Manticore可以执行带有符号输入的程序，并探索其可能达到的所有状态 输入生成：Manticore可以自动产生具体输入，从而产生给定的程序状态 错误发现：Manticore可以检测二进制文件和智能合约中的崩溃和其他故障情况 工具：Manticore通过事件回调和指令挂钩提供对状态探索的细粒度控制 程序接口：Manticore通过Python API公开对其分析引擎的程序访问 Manticore可以分析以下类型的程序： 以太坊智能合约（EVM字节码） Linux ELF二进制文件（