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

差生文具多，菜鸟琢磨工具多。

Mythril

简介：

Mythril是一个以太坊官方推荐的智能合约安全分析工具，使用符合执行来检测智能合约中的各种安全漏洞。在remix和truffle等IDE里都有集成。

安装：

使用docker方式安装可以省去很多依赖包有问题的情况：

Pull the latest release of mythril/myth docker pull mythril/myth

使用：

docker run mythril/myth -h docker run -v /Users/aaa/go/src/six-days/ethereum-contracts:/contract mythril/myth analyze /contract/bec.sol --solv 0.4.25 --solver-timeout 60 --execution-timeout 60 -o json -t 3

mythril当前只能对单个文件进行检测，检测时需要将合约文件挂载到docker上去检测。

如上诉命令，其中：

solv 是指定solidity编译版本

solver-timeout solidity版本下载超时时间

execution-timeout，执行超时时间

o 输出格式࿰