这是名为 Echidna 的 Windows 应用程序，其最新版本可以下载为 echidna-2.2.1-Linux.zip。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Echidna 的应用程序。
请按照以下说明运行此应用程序：
- 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。
SCREENSHOTS
Ad
针鼹
商品描述
Echidna 是一种奇怪的生物，它吃虫子并且对电敏感（向 Jacob Stanley 道歉）更严重的是，Echidna 是一个 Haskell 程序，旨在对以太坊智能合约进行模糊/基于属性的测试。 它使用基于合同 ABI 的复杂的基于语法的模糊测试活动来伪造用户定义的谓词或 Solidity 断言。 我们在设计 Echidna 时考虑了模块化，因此可以轻松扩展它以包含新的突变或在特定情况下测试特定合约。 可选的语料库收集、变异和覆盖指导，以发现更深层次的错误。 由 Slither 提供支持，可在模糊测试活动之前提取有用信息。 源代码集成，以确定在模糊测试活动之后覆盖了哪些行。 基于诅咒的复古 UI、纯文本或 JSON 输出。
特征
- 生成适合您的实际代码的输入
- 支持使用 Etheno 和 Truffle 进行复杂的合约初始化
- 模糊测试活动的最大气体使用报告
- 无缝集成到开发工作流程中
- 自动测试用例最小化以进行快速分类
- 基于 Curses 的复古 UI、纯文本或 JSON 输出
程式语言
哈斯克尔，坚固性
分类目录
这是一个也可以从 https://sourceforge.net/projects/echidna.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
