这是名为 Mythril 的 Windows 应用程序，其最新版本可以作为 Mythrilv0.24.1sourcecode.zip 下载。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Mythril 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从本网站启动任何 OS OnWorks 在线模拟器，但更好的 Windows 在线模拟器。
- 5. 从您刚刚启动的 OnWorks Windows 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序并安装。
- 7. 从您的 Linux 发行版软件存储库下载 Wine。 安装后，您可以双击该应用程序以使用 Wine 运行它们。 您还可以尝试 PlayOnLinux，这是 Wine 上的一个花哨界面，可帮助您安装流行的 Windows 程序和游戏。
Wine 是一种在 Linux 上运行 Windows 软件的方法，但不需要 Windows。 Wine 是一个开源的 Windows 兼容层，可以直接在任何 Linux 桌面上运行 Windows 程序。 本质上，Wine 试图从头开始重新实现足够多的 Windows，以便它可以运行所有这些 Windows 应用程序，而实际上不需要 Windows。
截图：
秘银
描述：
Mythril 是 EVM 字节码的安全分析工具。 它检测为 Ethereum、Hedera、Quorum、Vechain、Roostock、Tron 和其他 EVM 兼容区块链构建的智能合约中的安全漏洞。 它使用符号执行、SMT 求解和污点分析来检测各种安全漏洞。 它还用于（与其他工具和技术结合）MythX 安全分析平台。 如果您是智能合约开发人员，我们建议使用针对可用性进行优化并涵盖更广泛安全问题的 MythX 工具。 SWC Registry 是已知智能合约漏洞的社区目录，其中包含详细描述、代码示例和补救措施。 MythX 在扫描智能合约的安全问题时使用 SWC Registry 作为其数据库。
产品优势
- 直接在源代码中查看漏洞，以及重现漏洞的步骤
- 完成所有问题的摘要，包括可以找到它们的源行
- 您的 MythX 仪表板包含智能合约分析的完整历史记录
- 生成详细的分析报告
- 与开发者工具集成
- 以太坊智能合约安全服务
程式语言
Python
分类
这是一个也可以从 https://sourceforge.net/projects/mythril.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。