这是名为 Oyente 的 Linux 应用程序，其最新版本可以作为 v0.2.7-Commonwealth.zip 下载。它可以在免费的工作站托管提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Oyente 的应用程序。
请按照以下说明运行此应用程序：
- 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
奥恩特
商品描述
可以在此处找到配置了所需依赖项的容器。 但是图像已经过时了。 为了您的方便，我们正在努力将最新的图像推送到 dockerhub。 如果您遇到此图像的任何问题，请在打开问题之前尝试通过拉取此代码库来构建新的 docker 图像。 为本文开发的实用程序集合在 misc_utils 中。 使用它们需要您自担风险——它们大多是一次性的。 这是用于论文的工具的改进版本。 基准不用于直接比较。 要运行基准测试，最好使用 docker 容器，因为它包含必要的区块链快照。 在容器中，激活 virtualenv 后运行 batch_run.py。 一旦基准测试完成，结果就会在 results.json 中。
特征
- 智能合约的分析工具
- 评估容器内的迎宾合约
- 自定义 Docker 镜像构建
- 执行 python virtualenv
- 通过 pip 安装 Oyente
- 使用 Python 绑定安装 z3
程式语言
打字稿
分类目录
这是一个也可以从 https://sourceforge.net/projects/oyente.mirror/ 获取的应用程序。 它已托管在 OnWorks 中，以便以最简单的方式从我们的免费操作系统之一在线运行。
