智能合约传统检测工具的使用与测试（oyente、Mythril、Slither、ConFuzzius、sFuzz、SmartCheck）

#oyente的使用

##爬取镜像

docker pull luongnguyen/oyente

##创建oyente 相关的容器

docker run -it --privileged=true -v /home/wtf/oyente_test:/oyente/workspace --name oyente luongnguyen/oyente

##使用oyente测试合约

cd /oyente/oyente && python oyente.py -s file_path -ce

#Mythril的使用

##爬取镜像

docker pull mythril/myth

## 创建Mythril相关的容器

docker run -it --privileged=true -v /home/wtf/Mythril_test:/Mythril_test --name Mythril mythril/myth /bin/bash

# Mythril测试合约

myth analyze file_path -o json