author：Thomas_Xu

slither工具使用记录

最近对静态分析很感兴趣，先从工具入手，今天先试一试Slither—一款静态智能合约分析工具。

概述

slither使用python3编写的智能合约静态分析框架，整体环境比较好，提供如下功能：

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

使用

安装

Slither支持pip、源码编译和docker三种安装方式。 pip安装

1	pip3 install slither-analyzer

源码编译

1 2	$ git clone https://github.com/crytic/slither.git && cd slither $ python3 setup.py install

docker安装

1	docker pull trailofbits/eth-security-toolbox

在安装时，会有大量的依赖安装，这里建议使用pip的方式安装，不容易出错

合约漏洞检测

我准备了一个重入代码，直接上手试试：

pragma solidity ^0.4.19;

contract Reentrance{
    address _owner;
    mapping (address => uint256) balances;
    uint256 public score;

    // 初始状态：0.001ether
    constructor() public payable {
        _owner = msg.sender;
    }

    function withdraw(uint256 amount) public payable{
        require(balances[msg.sender] >= amount);
        require(address(this).balance >= amount);
        // 发送以太
        msg.sender.call.value(amount)();
        // 状态变量修改
        balances[msg.sender] -= amount;
    }

    function deposit() public payable{
        balances[msg.sender] += msg.value;
    }

    function balanceOf(address adre) constant returns(uint256){
        return balances[adre];
    }

    function wallet() constant returns(uint256 result){
        return address(this).balance;
    }

    function isCompleted() public {
        score = 0;
        if(isContract(msg.sender)){
            score = 25;
        }
        if(address(this).balance == 0){
            score = 100;
        }
    }

    function isContract(address addr) private view returns (bool) {
        uint size;
        assembly { size := extcodesize(addr) }
        return size > 0;
    }
}