这是名为 Manticore 的 Linux 应用程序，其最新版本可以下载为 Manticore0.3.7.zip。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Manticore 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
曼提考
商品描述
Manticore 帮助我们快速利用符号执行、污点分析和检测来分析二进制文件。 Manticore 的某些部分支撑了我们在 Cyber Grand Challenge 中的象征性执行能力。 作为开源工具，我们希望其他人可以在自己的项目中利用这些功能。 在构建 Manticore 时，我们优先考虑简单性和可用性。 我们使用了最少的外部依赖项，我们的 API 对于任何具有开发或逆向背景的人来说应该看起来很熟悉。 如果您以前从未使用过此类工具，请尝试一下 Manticore。 Manticore 带有一个易于使用的命令行工具，可以通过符号执行快速生成新程序“测试用例”（或样本输入）。 每个测试用例在运行程序时都会产生独特的结果，例如正常的进程退出或崩溃（例如，无效的程序计数器、无效的内存读/写）。
特性
- Manticore 可以执行带有符号输入的程序并探索它可以达到的所有可能状态
- Manticore 可以自动生成导致给定程序状态的具体输入
- Manticore 可以检测二进制文件和智能合约中的崩溃和其他故障案例
- Manticore 通过事件回调和指令挂钩提供对状态探索的细粒度控制
- Manticore 通过 Python API 公开对其分析引擎的编程访问
- 以太坊智能合约（EVM 字节码）
程式语言
Python
分类
这是一个也可以从 https://sourceforge.net/projects/manticore.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
