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