由于笔者最近在做智能合约相关的实验，使用了Mythril工具来检测智能合约，并在使用的过程中遇到了一系列的问题，这里给大家一点建议。
其中Mythril检测智能合约时的合约缺陷分类如下所示
SWC ID：116----------表示该漏洞的分类编号
Severity：Low----------表示该漏洞的严重程度
Contarct：Roulette----------表示检测的合约名称
Function name：fallback----------表示发现漏洞的函数名称
PC address：70----------表示程序计数器，Program Counter的简称
一、Mythril的检测方法问题
myhtril检测智能合约分为两种形式，一种根据智能合约样本的源文件.sol来检测，另一种则是通过智能合约的地址来检测
1、根据.sol来检测
$ myth analyze <solidity-file>
2、通过地址来进行检测
$ myth analyze -a <contract-address>
这边通过docker下载Mythril之后发现通过第一种情况来检测是可以的，但是通过第二种情况来检测就不行了，可能需要通过pip3来下载Mythril，但是pip3下载Mythril特别繁琐且会让安装很多包，笔者最后放弃了，大家可以试试。如果下载成功的话可以通过语句：
myth --version
来检测是否通过pip3下载mythril成功（注意：如果是通过docker来下载的，这边检查myth版本时会显示失败，但是却可以使用第一种方式来检测合约（非常离谱！震惊！））
还有一种可能就是需要通过翻墙才行，但是笔者试了试没效果，各位也可以尝试一下
二、通过.sol来检测合约速度太慢
这边提供一些通过Mythril检测合约的一些补充语句：
通常检测语句：
sudo docker run -v $(pwd):/home/test mythril/myth analyze /home/test/test.sol
补充语句：
sudo docker run -v $(pwd):/home/test mythril/myth analyze /home/test/test.sol --solv 0.4.25 --solver-timeout 60 --execution-timeout 60 -o text -t 3
其中：
- solv 是指定solidity编译版本
- solver-timeout solidity版本下载超时时间
- execution-timeout，执行超时时间
- o 输出格式，可选text/markdown/json/jsonv2
- t 交易个数
当我们通过第一种方式即源文件.sol方式来检测时可能会出现2-4个小时才出结果的情况，这个时候我们就可以使用execution-timeout的方式，例如：
sudo docker run -v $(pwd):/home/test mythril/myth analyze --execution-timeout 60 /home/test/test.sol
将时间控制在60s之内。
这样子检测的效率会大大提升。
三、网络不稳定
检测合约时，一定要保持在一个稳定的网络环境下，网络不稳定对检测影响很大，可能会出现下面的情况。
