文件名称：符号执行工具-Python开发
文件大小：8.55MB
文件格式：ZIP
更新时间：2024-06-14 07:00:40
Python Miscellaneous
Manticore Manticore是用于分析智能合约和二进制文件的符号执行工具。 注意：从0.2.0版开始，需要Python 3.6+。 输入生成功能：Manticore Manticore Manticore是用于分析智能合约和二进制文件的符号执行工具。 功能程序探索：Manticore可以执行带有符号输入的程序并探索其可能达到的所有状态输入生成：Manticore可以自动产生具体输入，从而导致给定的程序状态错误发现：Manticore可以检测二进制文件中的崩溃和其他故障情况和智能合约工具：Manticore提供细粒度