【centos7中使用docker安装KLEE】

1安装docker

1.1 准备

建立repository

yum install -y yum-utils
1

由于我的环境中安装多个版本的python，使用“python --verion”查看python版本为3.6。然而，CentOS中默认是python2.X的，于是修改/bin/yum-config-manager文件。
将“#!/usr/bin/python-tt”更改为“#!/usr/bin/python2-tt”

#yum-utils安装完成后，可以使用yum-config-manager进行后续安装
yum-config-manager --add-repo https://download.docker.com/linux/centos/docker-ce.repo
1
2

1.2 安装docker

安装最新版本的Docker Engine, containerd以及Docker-Compose

yum install docker-ce docker-ce-cli containerd.io docker-compose-plugin
1

1.3启动docker

systemctl start docker
1

1.4验证docker

使用’hello-world’镜像来验证docker是否安装成功

docker run hello-world
1

如果出现这个，说明docker安装成功。

2安装KLEE

2.1安装KLEE 2.1版本

docker pull klee/klee:2.1
1

2.2 创建klee容器

创建名为‘klee2.1’的docker容器，同时进入容器中。

docker run --name=klee2.1 -ti --ulimit='stack=-1:-1' klee/klee:2.1
1

2.3查看是否存在

whomai  #查看当前容器内容
klee --version #查看klee版本
clang --version #查看llvm版本
1
2
3

2.4 klee2.1容器进入与退出

（1）退出容器

（方式一）eixt    #退出后需要重新启动容器
（方式二）ctrl+D  #快捷键方式，退出后需要重新启动容器
（方式三）先按ctrl+p，再按ctrl+q   #退出后无需重新启动
1
2
3

（2）进入容器

docker start xxx(容器名)  #方式一及方式二退出后需要利用此命令来重新启动容器
docker attach xxx(容器名)  #使用此方式进入容器
1
2

至此，centos7中使用docker安装KLEE已成功啦！！！