docker使用klee(安装+基本使用)

环境:vmware16.2.3+ubuntu18.04.6
参考链接https://klee.github.io/docker/
1.安装docker

curl -fsSL https://get.docker.com | bash -s docker --mirror Aliyun

2.在docker中安装2.1版本klee

sudo docker pull klee/klee:2.1
sudo docker pull klee/klee//默认下载最新版

查看安装成功否

 sudo docker images//显示docker当中已安装的画像

image (画像可以理解为,拿klee来说,即提供一个环境包含了klee正常运行的所有依赖以及相关配置)

3.创建一个临时容器
container(在画像中创建容器,在容器当中可以直接运行klee程序,不需要下载依赖配置环境)

docker run --rm -ti --ulimit='stack=-1:-1' klee/klee:2.1

exit即退出该容器,退出后此容器不存在
4.创建非临时容器
推出后任然保存其上次的状态

sudo  docker run -ti --name=my_first_klee_container --ulimit='stack=-1:-1' klee/klee:2.1

查看docker内容器

sudo docker ps -a

重新进入某容器

sudo docker start -ai my_first_klee_container