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

1、本地方式安装Slither

a) 先安装Python3
    安装Python3的方法，请看这篇文章的第9章节。

b）再安装Slither

    打开一个黑框框终端，依次输入如下命令:

python3 -m pip install --upgrade pip
pip3 install slither-analyzer

2、使用Slither

2.1 docker方式安装slither

    a) 先安装docker
    在Mac上安装docker，请看这篇文章

    docker v20设置镜像，点击Prefereners --> docker Engine --> 填写如下json数据，如图(1)所示。

{
  "builder": {
    "gc": {
      "enabled": true,
      "defaultKeepStorage": "20GB"
    }
  },
  "experimental": false,
  "features": {
    "buildkit": true
  },
  "registry-mirrors": [
    "https://obou6wyb.mirror.aliyuncs.com",
    "https://hub-mirror.c.163.com",    
	"https://docker.mirrors.ustc.edu.cn",
	"https://registry.docker-cn.com"
  ]
}

    注册一个阿里云账户，就会免费提供一个docker镜像地址，如图(2)所示。

图(1) 填写docker镜像地址

图(2) 注册阿里云，获取免费的docker镜像加速地址

    b) 启动docker，如图(3)所示。

图(3) 在任务栏点击[火箭] -->Docker

    c) 在docker里拉取slither镜像
    打开黑框框终端，输入如下命令拉取slither镜像。

docker pull trailofbits/eth-security-toolbox

2.2 创建合约

    创建contracts/DoubleWrite.sol合约

mkdir -p /Users/apple/Documents/myProject/docSafe/unit01/check03/contracts
touch DoubleWrite.sol

    DoubleWrite.sol的内容如下：
    //DoubleWrite.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.6.0;

contract Buggy {
    function doWrite() pure external {
        uint a = 300;
        uint b = 500;
        a = b;
        uint c = 800;
        a = 1000;
        b = c;
    }
}

2.3 测试合约

    打开一个黑框框终端，启动输入如下命令:

docker run -it -v /Users/apple/Documents/myProject/docSafe/unit01/check03/contracts:/contract trailofbits/eth-security-toolbox

    上述命令的含义：启动一个eth-security-toolbox容器，将本地PC地址：/Users/apple/Documents/myProject/docSafe/unit01/check03/contracts ，映射到docker里/contract地址

    使用slither检查DoubleWrite合约

## 进入docker的/contract文件夹
cd /contract

## 检查合约
slither DoubleWrite.sol --solc /usr/bin/solc-v0.6.11

    如图(4)所示，slither已经检查出uint a被赋值了2次，即发生了重写(多余的赋值)，可以将多余的赋值语句去掉即可。

图(4) 使用slither检查合约