【centos7中使用docker安装KLEE】
创始人
2024-04-01 00:39:49

1安装docker

1.1 准备

建立repository

yum install -y yum-utils
#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.3版本

docker pull klee/klee:2.3

2.2 创建klee容器

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

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

2.3查看是否存在

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

在这里插入图片描述

2.4 klee2.3容器进入与退出

（1）退出容器

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

（2）进入容器

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

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

词库加载错误:未能找到文件“E:\highferrum_mysql\Configuration\Dict_Stopwords.txt”。

上一篇：电子电路设计基本概念100问（五）【学习目标：原理图、PCB、阻抗设计、电子设计基本原则、基本原器件等】

下一篇：【网络篇】第四篇——网络字节序

相关内容

热门资讯

我喜欢你韩语怎么说 sikid...
埃菲尔铁塔在哪 中国仿建埃菲尔... 2019年4月26日，广西南宁市，街头惊现一座巨型山寨版埃菲尔铁塔，高约20米，白色塔身，造型逼真，...
苗族的传统节日 贵州苗族节日有... 【岜沙苗族芦笙节】岜沙，苗语叫“分送”，距从江县城7.5公里，是世界上最崇拜树木并以树为神的枪手部落...
北京的名胜古迹 北京最著名的景... 北京从元代开始，逐渐走上帝国首都的道路，先是成为大辽朝五大首都之一的南京城，随着金灭辽，金代从海陵王...
世界上最漂亮的人 世界上最漂亮... 此前在某网上，选出了全球265万颜值姣好的女性。从这些数量庞大的女性群体中，人们投票选出了心目中最美...
长白山自助游攻略 吉林长白山游... 昨天介绍了西坡的景点详细请看链接：一个人的旅行，据说能看到长白山天池全凭运气，您的运气如何？今日介绍...
应用未安装解决办法 平板应用未... ---IT小技术，每天Get一个小技能！一、前言描述苹果IPad2居然不能安装怎么办？与此IPad不...
脚上的穴位图 脚面经络图对应的... 人体穴位作用图解大全更清晰直观的标注了各个人体穴位的作用，包括头部穴位图、胸部穴位图、背部穴位图、胳...
猫咪吃了塑料袋怎么办 猫咪误食... 你知道吗？塑料袋放久了会长猫哦！要说猫咪对塑料袋的喜爱程度完完全全可以媲美纸箱家里只要一有塑料袋的响...
demo什么意思 demo版本... 618快到了，各位的小金库大概也在准备开闸放水了吧。没有小金库的，也该向老婆撒娇卖萌服个软了，一切只...
长白山自助游攻略 吉林长白山游... 昨天介绍了西坡的景点详细请看链接：一个人的旅行，据说能看到长白山天池全凭运气，您的运气如何？今日介绍...
埃菲尔铁塔在哪 中国仿建埃菲尔... 2019年4月26日，广西南宁市，街头惊现一座巨型山寨版埃菲尔铁塔，高约20米，白色塔身，造型逼真，...
应用未安装解决办法 平板应用未... ---IT小技术，每天Get一个小技能！一、前言描述苹果IPad2居然不能安装怎么办？与此IPad不...
苗族的传统节日 贵州苗族节日有... 【岜沙苗族芦笙节】岜沙，苗语叫“分送”，距从江县城7.5公里，是世界上最崇拜树木并以树为神的枪手部落...
脚上的穴位图 脚面经络图对应的... 人体穴位作用图解大全更清晰直观的标注了各个人体穴位的作用，包括头部穴位图、胸部穴位图、背部穴位图、胳...
demo什么意思 demo版本... 618快到了，各位的小金库大概也在准备开闸放水了吧。没有小金库的，也该向老婆撒娇卖萌服个软了，一切只...
我喜欢你韩语怎么说 sikid...
埃菲尔铁塔在哪 中国仿建埃菲尔... 2019年4月26日，广西南宁市，街头惊现一座巨型山寨版埃菲尔铁塔，高约20米，白色塔身，造型逼真，...
苗族的传统节日 贵州苗族节日有... 【岜沙苗族芦笙节】岜沙，苗语叫“分送”，距从江县城7.5公里，是世界上最崇拜树木并以树为神的枪手部落...
北京的名胜古迹 北京最著名的景... 北京从元代开始，逐渐走上帝国首都的道路，先是成为大辽朝五大首都之一的南京城，随着金灭辽，金代从海陵王...