win10专业版
官网链接
2.docker安装官网教程链接
Docker 下载地址1 下载地址2
2.1安装准备 win10专业版，教育版和企业版，内部版本号16299及以上。可在运行处输入winver查看内部版本号。在win10控制面板-->程序-->启用或关闭window功能中启用Hyper-V若win系统不满足要求，可升级或安装Docker Toolbox（官网链接）
2.2安装默认会安装在c盘，这里我没有更改。但默认的拉取后的镜像也会装在c盘，会使用大量空间。可以在Docker设置中修改下面的路径。
2.3测试安装情况在命令行窗口内输入 docker --version
2.4Docker镜像配置Docker默认从国外拉取镜像会非常慢，而且很可能会传输半天后，文件传输失败。所以需要配置国内镜像。
在设置Docker Engine的 registry-mirrors 中 添加国内镜像。
参考文章：docker 设置国内镜像源
3.klee 安装
官网链接
在命令行窗口输入以下代码。
3.1拉取klee拉取特定版本的Klee，“:2.1”是指定版本号
docker pull klee/klee:2.1拉取最新版klee，不需要输入版本号
docker pull klee/klee 3.2klee运行官网推荐例子使用下载这种方式创建一个容器，-ti是Docker run命令的参数，--name是为容器起一个名字，--ulimit选项在容器内设置了无限的堆栈大小。这是为了避免在运行KLEE时出现堆栈溢出问题。但是我在实际应用中，使用这个参数会报错。
docker run -ti --name=my_first_klee_container --ulimit='stack=-1:-1' klee/klee实际过程中，我使用以下代码创建容器。然后命令行进入klee中了。
docker run -ti --name=klee_2 klee/klee:2.1 3.3klee退出，重新启动及删除退出输入exit即可。
重启输入：
docker start -ai klee_2删除输入：
docker rm klee_2在docker软件中也能看到容器情况，对它进行启动，退出和删除等操作。
3.4 klee、llvm和clang版本查看klee和llvm版本查看：
klee --versionclang版本查看：
clang --version