Slither 安装和使用

最新推荐文章于 2025-05-13 19:42:18 发布

信安成长日记

最新推荐文章于 2025-05-13 19:42:18 发布

阅读量895

点赞数 8

分类专栏：区块链安全文章标签：智能合约 linux 运维

本文链接：https://blog.csdn.net/SHELLCODE_8BIT/article/details/135021820

版权

区块链安全专栏收录该内容

7 篇文章

订阅专栏

测试环境 centos7

安装 slither

sudo yum -y install python3 pip3
sudo pip3 install slither-analyzer

安装 solc-select

sudo pip3 install solc-select

使用 solc-select 安装 solc，装不了的话挂下代理

solc-select install 0.4.15
# 使用的 solc 0.4.15 版本
solc-select use 0.4.15
# 查看当前使用的 solc 版本
solc --version

slither 扫描目录

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

信安成长日记

关注关注

8
点赞
踩
6

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
打赏
打赏
打赏举报

举报

专栏目录

使用Slither检查智能合约

sanqima的专栏

10-18

1万+

Slither 是一个专门用来对Solidity智能合约进行Bug分析的工具，使用Slither可以方便的检测合约里的缺陷和漏洞，但是该工具有漏报现象，比如对for循环里的数据溢出检测就不是很灵敏，需要人工审计代码。

以太坊合约静态分析工具Slither简介与使用

六天的博客

07-23

3095

上篇学习了Mythril，一种动态的以太坊智能合约安全分析工具。今天来看看以太坊官方推荐的另一款静态智能合约分析工具Slither。本篇文章不做工具的对比与评测，仅从原理和使用角度阐述。一、概述 Slither是一个用Python 3编写的智能合约静态分析框架，提供如下功能：自动化漏洞检测。提供超30多项的漏洞检查模型，模型列表详见：https://github.com/crytic/slither#detectors 。自动优化检测。Slither可以检测编译器遗漏的代码优化项并给出优化建议

参与评论您还未登录，请先登录后发表或查看评论

slither——区块链智能合约静态分析工具

热门推荐

weixin_44217936的博客

03-02

1万+

一、概述 Slither是一个用Python 3编写的智能合约静态分析框架（源码），提供如下功能：自动化漏洞检测。提供超30多项的漏洞检查模型，模型列表详见：https://github.com/crytic/slither#detectors 自动优化检测。Slither可以检测编译器遗漏的代码优化项并给出优化建议。代码理解。Slither能够绘制合约的继承拓扑图，合约方法调用关系图等，帮助开发者理解代码。辅助代码审查。用户可以通过API与Slither进行交互。二、Slither运行流程 S

slither-analyzer安装报错并解决error: Microsoft Visual C++ 14.0 or greater is required.

mandiheyanyu的博客

12-27

494

python环境3.8，执行后出现异常网上有很多解决方法，看评论感觉可能有用的是这个，但是太麻烦了没有用Microsoft Visual C++ 14.0 is required解决方法 https://zhuanlan.zhihu.com/p/126669852我用的是另一个方法 pip install weditor 安装报错 error: subprocess-exited-with-error https://ask.csdn.net/questions/7642639这个subprocess

合约检测之slither(草稿)

风华浪浪的博客

02-22

916

Slither是一个静态分析框架，它通过将 Solidity 智能合约转换为称为 SlithIR 的中间表示来工作。SlithIR使用静态单一赋值 (SSA) 形式和精简指令集来减慢分析执行速度，同时保留在 Solidity 转换为字节码时可用的语义信息。自动漏洞检测：无需用户干预即可检测智能合约漏洞，实现漏洞自动检测。自动优化检测：Slither 可以检测编译器可能忽略的代码优化，从而自动化检测代码优化的过程代码理解：对合约信息进行归纳和展示，帮助研究人员理解代码库，提高对智能合约的理解。

【合约检测工具】使用 Slither 检测合约中的 “坏味道”

weixin_43742184的博客

01-15

1145

在合约开发中，重中之重是合约的安全。在开发中，我时常会疑惑，除了自己写的单元测试，还有没有别的方法可以像 sonar 一样检测 solidity 中的 “坏味道” 呢？咱们不用收费的 MythX ，可以试一试开源的 Silther。 ...

Python-Slither

02-28

2. **pygame库**：Python-Slither可能使用了Pygame库来创建游戏的图形用户界面（GUI）和处理游戏的动画效果。Pygame是Python的一个模块，专门用于开发2D游戏，它提供了丰富的功能，如窗口管理器、事件处理、颜色管理...

k-slither Cocos蛇蛇大战-cocos资源

01-25

"readme.txt"文件是项目中常见的文档，通常包含项目的说明、安装指南和可能的使用方法。"tool"、"libs"、"svr"和"cfg"是目录，分别可能存放了开发工具、库文件、服务器文件和配置文件。"k-slither"很可能是项目的主...

Slither自动化测试智能合约并进行分类存储

qq_45138078的博客

11-07

1743

本文主要讲述了如何使用Slither来检测智能合约并将检测的合约按照恶意与良性来进行分类

探秘Slither：智能合约安全审计利器

gitblog_00036的博客

03-21

616

探秘Slither：智能合约安全审计利器 slitherStatic Analyzer for Solidity and Vyper项目地址:https://gitcode.com/gh_mirrors/sl/slither 项目简介在区块链世界中，智能合约的安全性至关重要。Slither，由Crytic团队开发，是一个强大的、静态的Solidity分析框架，专为以太坊智能合约设计。它不仅提供...

solc-select：用于在Solidity编译器版本之间快速切换的脚本

02-05

选择用于在Solidity编译器版本之间快速切换的脚本。运行旧版本的solc变得越来越困难，尤其是在macOS上，因为没有正式的二进制发行版。 0.5.0之前的版本不再在macOS上编译，并且不再维护。这是一个问题，因为较早的以太坊合约不再可以在现代版本的Solidity上进行编译。 solc-select是一种实用程序，只需设置一个环境变量， solc-select可以运行任何旧版的Solidity。快速开始 OS X： docker pull trailofbits/solc-select docker run --read-only -i --rm --entrypoint=

Slither 开源项目教程

gitblog_01026的博客

08-22

478

Slither 开源项目教程 slitherStatic Analyzer for Solidity and Vyper项目地址:https://gitcode.com/gh_mirrors/sl/slither 1. 项目的目录结构及介绍 Slither 是一个用于分析 Solidity 智能合约的静态分析工具。其目录结构如下： slither/：主项目目录，包含核心代码和模块。 anal...

Slither工具解决solc版本与当前sol文件版本不兼容的问题

redwolf6888的博客

08-18

3839

slither使用时会发现默认选择版本与测试合约版本不一致，需要修改扫描器的默认合约配置。

智能合约扫描工具Mythril、Solium（新版改名ethlint）、Slither

redwolf6888的博客

08-24

4051

智能合约静态扫描工具：Mythril、solium、slither工具的简单安装及使用

Python pip3 安装问题install

weixin_39790181的博客

07-17

7378

1、配置环境变量。我用的python3 2、查询当前pip3版本，看是否需要升级。 cmd窗口输入：pip3 show pip 3、进行升级 cmd窗口输入：python -m pip install --upgrade pip 4、再次查询当前pip版本，看是否需要升级。 cmd窗口输入：pip3 show pip 5、安装pip3包 ...

什么是智能合约？区块链上的自动化契约

2501_90357013的博客

05-07

733

受限于当时的技术发展，这一概念并未得到广泛应用。直到区块链技术的出现，特别是以太坊平台的兴起，为智能合约的实现提供了去中心化和安全可靠的运行环境，才使得智能合约真正进入了大众视野并获得了快速发展。智能合约是运行在区块链上的计算机程序或交易协议。与传统的纸质合同不同，智能合约将合同条款直接编码到程序中，并在满足预设条件时自动执行。智能合约基于“如果…当部署在区块链上后，智能合约会持续监听与其编程条件相符的事件。整个执行过程无需人工干预，且所有执行记录都被永久地记录在区块链上，公开透明且不可篡改。

零Gas授权实战：用线下签名玩转智能合约 Permit 机制

最新发布

weixin_46549536的博客

05-13

本文深入探讨了如何使用智能合约中的 Permit 机制实现零 Gas 授权，并结合线下签名进行演示。我们介绍了 Meta Transaction 和 Gasless Wallet 的原理，阐明了如何通过这种技术在不支付 Gas 费用的情况下，授权某个地址进行代币操作。通过示例代码，讲解了如何通过 ethers.js 和 Hardhat 环境生成、验证和执行一个线下签名授权过程。

智能合约之ERC20合约和ERC721合约

weixin_46549536的博客

05-11

本文对ERC20和ERC721合约的代码实现做了详细的拆解，从本文中读者可以非常清晰的了解到ERC20和ERC721合约提供了哪些接口和方法，实现了哪些功能，适合在哪些业务场景中使用。

深入剖析 Linux 进程的睡眠与唤醒机制

Cheese_Y的博客

05-13

557

Linux 进程的睡眠与唤醒机制是操作系统实现高效资源管理和任务调度的基石。从基本概念到实现机制，再到实际应用与调试，这一机制贯穿于系统运行的各个环节。深入理解并熟练掌握这一机制，不仅有助于优化系统性能，还能在面对进程阻塞、资源争用等问题时快速定位和解决问题。随着 Linux 内核的不断演进，睡眠与唤醒机制也在持续优化，以适应日益复杂的应用场景和硬件环境。以上详细阐述了 Linux 进程睡眠和唤醒的相关内容。若你对其中某部分还想深入了解，或有其他技术方向想探讨，欢迎随时和我说。

用kila ssh连接

05-28

Kila SSH是一款SSH客户端软件，可以用于连接SSH服务器，进行远程登录和文件传输等操作。下面是使用Kila SSH连接SSH服务器的步骤： 1. 下载并安装Kila SSH客户端软件。可以从Kila SSH官网上下载安装包，根据提示进行安装即可。 2. 打开Kila SSH客户端软件，点击“连接”按钮，选择“SSH”选项。 3. 在“连接”窗口中，输入SSH服务器的IP地址、端口号、用户名和密码等信息。如果需要使用密钥认证方式登录，可以选择“密钥”选项，输入密钥文件的路径和密码等信息。 4. 点击“连接”按钮，等待连接成功。如果连接成功，就可以在Kila SSH客户端中操作SSH服务器了。可以进行远程登录、文件传输、文件编辑等操作。需要注意的是，在使用Kila SSH连接SSH服务器时，需要确保SSH服务器已经开启，并且用户名和密码等信息正确。此外，为了提高安全性，建议使用密钥认证方式登录，避免使用明文密码。