【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已成功啦!!!

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值