1

docker run -it --privileged=true -v /home/helong/oyente/tmp:/oyente/contract --name oyente luongnguyen/oyente

1

ctrl + p + q

1

docker ps

1

docker attach oyente/容器id

1

docker stop oyente/容器id

1

docker start oyente/容器id

1

docker rm 容器id

1

python oyente.py -s <solidity-file-path>

1

myth analyze <solidity-file-path>

1

slither <solidity-file-path>

1

./gradlew jar

1

java -jar build/libs/securify.jar -fs <solidity-file-path>