Manticore Manticore是用于分析智能合约和二进制文件的符号执行工具。 产品特点 程序探索：Manticore可以执行带有符号输入的程序，并探索其可能达到的所有状态 输入生成：Manticore可以自动产生具体输入，从而产生给定的程序状态 错误发现：Manticore可以检测二进制文件和智能合约中的崩溃和其他故障情况 工具：Manticore通过事件回调和指令挂钩提供对状态探索的细粒度控制 程序接口：Manticore通过Python API公开对其分析引擎的程序访问 Manti