Manticore翻译站点

Manticore 于 2017 年由 TrailOfBits 发布，为分析以太坊智能合约、Linux ELF 二进制文件和 WASM 模块提供了符号执行工具。Manticore 会根据状态自动生成新的输入，检测崩溃和故障案例，并探索程序可以达到的状态。使用指令挂钩和回调，开发人员可以精确控制状态探索。Manticore 附带 wiki、示例和 API 参考指南，为开发人员提供了充分使用和自定义使用其界面所需的资源。