【centos7中使用docker安装KLEE】

1安装docker

1.1 准备

建立repository

yum install -y yum-utils

由于我的环境中安装多个版本的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 安装docker

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

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

1.3启动docker

systemctl start docker

1.4验证docker

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

docker run hello-world

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

2安装KLEE

2.1安装KLEE 2.1版本

docker pull klee/klee:2.1

2.2 创建klee容器

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

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

2.3查看是否存在

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

2.4 klee2.1容器进入与退出

（1）退出容器

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

（2）进入容器

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

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

【centos7中使用docker安装KLEE】相关推荐

CentOS7中使用Docker安装SVN以及配置账号权限
场景 CentOS7中Docker的安装与配置: https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/119028701 首先按照上面在 ...
centos7中使用yum安装tomcat以及它的启动、停止、重启
centos7中使用yum安装tomcat 介绍 Apache Tomcat是用于提供Java应用程序的Web服务器和servlet容器. Tomcat是Apache Software Foundat ...
Centos7中Memcached的安装与基本操作
Centos7中Memcached的安装与基本操作 0.软件版本 1.下载memcached的依赖库libevent 1.1下载安装包 1.2使用xshell中的xftp上传至虚拟机中的/home/r ...
CeneOS中使用Docker安装Gitlab
场景 CentOS7中Docker的安装与配置: CentOS7中Docker的安装与配置_BADAO_LIUMANG_QIZHI的博客-CSDN博客首先按照上面在CentOS7中安装Docker ...
CentOS中使用Docker安装Jenkins
场景 CentOS7中Docker的安装与配置: https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/119028701 首先按照上面在 ...
CentOS中使用Docker安装SqlServer以及遇到的那些坑
场景 CentOS7中Docker的安装与配置: https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/119028701 首先按照上面在 ...
CenOS7中使用Docker安装配置Redis(数据持久化与数据卷映射)
场景 CentOS7中Docker的安装与配置: https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/119028701 首先按照上面在 ...
CentOS7中卸载Docker
场景 CentOS7中Docker的安装与配置: https://blog.csdn.net/BADAO_LIUMANG_QIZHI/article/details/119028701 在上面进行安装 ...
CentOS7中使用yum安装Nginx的方法
最近无意间发现Nginx官方提供了Yum源.因此写个文章记录下. 1.添加源默认情况Centos7中无Nginx的源,最近发现Nginx官网提供了Centos的源地址.因此可以如下执行命令添加源: ...