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

一、概述

Slither是一个用Python 3编写的智能合约静态分析框架(源码),提供如下功能:

  • 自动化漏洞检测。提供超30多项的漏洞检查模型,模型列表详见:https://github.com/crytic/slither#detectors
  • 自动优化检测。Slither可以检测编译器遗漏的代码优化项并给出优化建议。
  • 代码理解。Slither能够绘制合约的继承拓扑图,合约方法调用关系图等,帮助开发者理解代码。
  • 辅助代码审查。用户可以通过API与Slither进行交互。

二、Slither运行流程

Slither的工作方式如下:
1、智能合约源码经过solc编译后得到Solidity抽象语法树(AST)作为Slither的输入。
2、经过information recovery(数据整合),Slither生成合约的继承图,控制流图(CFG)以及合约中函数列表。
3、经过SlithIR转换,Slither将合约代码转换为SlithIR,一种内部表示语言,目的是通过简单的API实现高精度分析,支持污点和值的跟踪,从而支持检测复杂的模型。
4、在代码分析阶段,Slither运行一组预定义的分析,包括合约中变量、函数的依赖关系;变量的读写和函数的权限控制。
5、经过Slither的核心处理之后,就可以提供漏洞检测、代码优化检测和代码理解输出等。
论文——DIO:10.1109/WETSEB.2019.00008

三、安装

由于 Solidity 编译器版本有很多,有些sol文件使用的是老版的 Solidity 编译器版本,故需要进行版本的切换,将solc版本卸载,再重装所需要的版本是耗费时间并且显得很蠢。而solc-select是在 Solidity 编译器版本之间快速切换的工具,就很方便。安装solc-select之前,请先卸载本机的solc

3.1 solc-select安装

个人比较喜欢一个工具匹配一个虚拟环境,以免造成依赖包版本冲突

安装虚拟环境包

pip3 install -i https://pypi.tuna.tsinghua.edu.cn/simple virtualenv

创建虚拟环境

virtualenv --python=/usr/local/python3/bin/python3  slither

进入虚拟环境

source /blockchain/slither/bin/activate

退出虚拟环境

deactivate 

安装 solc-select

pip3 install solc-select==0.2.0
## 安装solc-select 0.2.0版本 比较稳定 0.2.1版本有误

查看可安装的solc版本

solc-select install

slither——区块链智能合约静态分析工具_第1张图片

安装特定版本 如0.5.16

solc-select install 0.5.16

设置成你想要的版本 如0.4.24

solc-select use 0.4.24

slither——区块链智能合约静态分析工具_第2张图片

3.2 slither安装

slither安装

pip3 install slither-analyzer

打印CFG
首先编写一份合约存储在test.sol文件中,具体代码如下

pragma solidity ^0.8.1;
contract Overflow{
   uint sellerBalance=0;
   function add(uint value)public returns(bool,uint){
       sellerBalance +=value;
       assert(sellerBalance>=value);
   }
}

运行CFG打印命令

slither test.sol --print cfg

输出了两个dot文件
slither——区块链智能合约静态分析工具_第3张图片
安装xdot

yum install xdot
# ubuntn下请使用 apt-get

将dot文件变成png文件

dot test.sol-Overflow-add\(uint256\).dot -Tpng -o test.png
# 官方文档给出的是 dot function.dot -Tsvg -o function.sol.png  使用这条命令可以生成png图片但是无法被打开,因为格式错误,其原因在于-Tsvg 官方的原意是想生成svg,这里应该是小笔误

生成的CFG如下图
slither——区块链智能合约静态分析工具_第4张图片

你可能感兴趣的:(区块链测试,区块链,智能合约,python)