1.安装环境及klee官网

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 --version

clang版本查看：

clang --version

win10 Docker及klee的安装相关推荐

【网址收藏】WIN10下docker docker-compose docker-machine的安装与使用
WIN10下docker docker-compose dockder-machine的安装与使用_lion的博客-CSDN博客
win10 子系统 ubuntu 16.04 安装 docker
2,更新系统软件 $ sudo apt-get update 3,安装依赖包 $ sudo apt-get install \apt-transport-https \ca-certificates ...
谈一谈|在win10家庭版上用虚拟机安装docker
欢迎点击「算法与编程之美」↑关注我们! 本文首发于微信公众号:"算法与编程之美",欢迎关注,及时了解更多此系列文章. 欢迎加入团队圈子!与作者面对面!直接点击! 1 Docker简 ...
win10+docker+laradock最新安装
windows10+docker+laradock最详细安装一.Win10 中 Laradock 安装前的准备 1.确认软硬件环境满足要求: 64 位的 Windows 10 Pro 专业版,Ent ...
docker使用klee(安装+基本使用)
环境:vmware16.2.3+ubuntu18.04.6 参考链接https://klee.github.io/docker/ 1.安装docker curl -fsSL https://get.d ...
Win10 TensorFlow（gpu）安装详解
Win10 TensorFlow(gpu)安装详解写在前面:TensorFlow是谷歌基于DistBelief进行研发的第二代人工智能学习系统,其命名来源于本身的运行原理.Tensor(张量)意味着 ...
Docker：Docker的简介、安装、使用方法之详细攻略
Docker:Docker的简介.安装.使用方法之详细攻略目录 Docker的简介 0.1.知乎对Docker的理解-Docker就是集装箱 0.2.简书对Docker的理解-Docker带来标准化 ...
win10 docker部署gpu项目
win10 docker部署gpu项目 nvidia-docker win10安装docker 制作镜像 ubuntu18.04部署docker gpu项目安装docker 配置docker使用gp ...
一小时快速上手win10 docker 、vscode、MobaXterm、git协作开发
一小时快速上手win10 docker .vscode.MobaXterm.git协作开发在win10平台搭建docker,掌握docker入门知识: 使用vscode在docker镜像中进行开发: ...

win10 Docker及klee的安装