一、安装Ｄｏｃｋｅｒ

参考完整教程：Windows Docker 安装 | 菜鸟教程 (runoob.com)

１．ｗｉｎｄｏｗｓ没有Hyper－ｖ：

解决方案：(100条消息) win10没有Hyper-v的解决方法_程序员-大白的博客-CSDN博客_没有hyper-v

２.　安装Docker Desktop报错WSL 2 installation is incomplete.

解决方案：(100条消息) 安装Docker Desktop报错WSL 2 installation is incomplete._寻_觅的博客-CSDN博客

二、安装mythril

       使用了符号执行、污点分析，SMT求解来进行检测

 参考教程：(100条消息) win10通过docker安装mythril_未知！？的博客-CSDN博客

三、安装