英语法语西班牙语

Ad


OnWorks 网站图标

Windows 版 Slither 下载

免费下载 Slither Windows 应用程序以在 Ubuntu 在线、Fedora 在线或 Debian 在线中在线运行 win Wine

这是名为 Slither 的 Windows 应用程序,其最新版本可以作为 0.10.0sourcecode.zip 下载。 它可以在免费的工作站托管提供商 OnWorks 中在线运行。

免费下载并在线运行这个名为 Slither with OnWorks 的应用程序。

请按照以下说明运行此应用程序:

- 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


滑行


商品描述

Slither 是一个用 Python 3 编写的 Solidity 静态分析框架。它运行一套漏洞检测器,打印有关合约细节的可视信息,并提供一个 API 来轻松编写自定义分析。 Slither 使开发人员能够发现漏洞,增强他们的代码理解能力,并快速原型化自定义分析。 Slither 是 Solidity 的第一个开源静态分析框架。 Slither 快速而精确; 它可以在几秒钟内找到真正的漏洞,而无需用户干预。 它是高度可定制的,并提供一组 API 来轻松检查和分析 Solidity 代码。 我们在所有安全审查中都使用它。 现在您可以将其集成到您的代码审查过程中。 我们正在开源 Slither 的核心分析引擎。 该内核提供高级静态分析功能,包括具有污点跟踪功能的中间表示 (SlithIR),在此之上可以构建复杂的分析(“检测器”)。



特征

  • 检测具有低误报率的易受攻击的 Solidity 代码(参见奖杯列表)
  • 标识错误条件在源代码中出现的位置
  • 轻松集成到持续集成和 Truffle 构建中
  • 内置“打印机”快速报告关键合同信息
  • 用于在 Python 中编写自定义分析的检测器 API
  • 能够分析用 Solidity >= 0.4 编写的合约


程式语言

Python、坚固性


分类目录

框架,区块链

这是一个也可以从 https://sourceforge.net/projects/slither.mirror/ 获取的应用程序。 它已托管在 OnWorks 中,以便通过我们的免费操作系统之一以最简单的方式在线运行。


免费服务器和工作站

下载 Windows 和 Linux 应用程序

  • 1
    Eclipse Tomcat 插件
    Eclipse Tomcat 插件
    Eclipse Tomcat 插件提供
    一个tomcat servlet的简单集成
    java开发的容器
    网络应用程序。 你可以加入我们
    讨论...
    下载 Eclipse Tomcat 插件
  • 2
    WebTorrent桌面
    WebTorrent桌面
    WebTorrent 桌面用于流式传输
    在 Mac、Windows 或 Linux 上下载种子。 它
    连接到 BitTorrent 和
    WebTorrent 同行。 现在没有了
    需要等待...
    下载 WebTorrent 桌面版
  • 3
    GEnx发动机
    GEnx发动机
    GenX 是一个科学的程序来改进
    X 射线反射率,中子
    反射率和表面 X 射线
    使用差分的衍射数据
    进化算法……
    下载 GenX
  • 4
    pspp4窗口
    pspp4窗口
    PSPP 是一个统计程序
    采样数据的分析。 这是一个免费的
    专有程序的替代品
    统计软件。 PSPP 同时具有基于文本和
    图形我们...
    下载 pspp4windows
  • 5
    Git 扩展
    Git 扩展
    Git Extensions 是一个独立的 UI 工具
    用于管理 Git 存储库。 它也是
    与 Windows 资源管理器和
    Microsoft Visual Studio
    (2015/2017/2019)。 这...
    下载 Git 扩展
  • 6
    eSpeak:语音合成
    eSpeak:语音合成
    英语文本到语音引擎和
    许多其他语言。 紧凑的尺寸与
    清晰但做作的发音。
    可作为命令行程序使用
    许多 ...
    下载 eSpeak:语音合成
  • 更多 ”

Linux 命令

Ad