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

docker使用klee(安装+基本使用)相关推荐

win10 Docker及klee的安装
1.安装环境及klee官网 win10专业版官网链接 2.docker安装官网教程链接 Docker 下载地址1 下载地址2 2.1安装准备 win10专业版,教育版和企业版,内部版本号1629 ...
Docker学习(一)-----Docker简介与安装
一.Docker介绍 1.1什么是docker Docker是一个开源的应用容器引擎,基于Go语言并遵从Apache2.0协议开源 Docker可以让开发者打包他们的应用以及依赖包到一个轻量级,可移植 ...
客快物流大数据项目(二十二)：Docker环境中安装软件
目录 Docker环境中安装软件一.安装JDK 二.安装Oracle11g 1.安装pdksh 2.安装Oracle依赖
docker 离线安装 mysql_Oracle数据库之docker 离线环境安装oracle
本文主要向大家介绍了Oracle数据库之docker 离线环境安装oracle,通过具体的内容向大家展现,希望对大家学习Oracle数据库有所帮助. 因测试需要,需在内网的测试环境搭建一套docker ...
docker klee tutorial_通过Docker使用KLEE
李一鸣华东师范大学软件工程学院电子信息最近在看Symbolic Execution,了解到了一些相关工具.KLEE就是其中之一,这篇文章是基于KLEE的官方教程:Using KLEE With ...
docker镜像指定安装源_Docker 安装与镜像
安装docker 1.使用阿里云的yum源 #cd /etc/yum.repos.d/ 这目录存放了当前系统的yum源配置信息#wget http://mirrors.aliyun.com/repo/ ...
docker 启动命令_Jenkins视频课程在Docker环境下安装Jenkins，命令行如何启动Jenkins...
Tomcat是Apache开发的一款servlet容器,可以提供java服务,作为服务器来使用.Jenkins是开源CI&CD软件领导者, 提供超过1000个插件来支持构建.部署.自动化, 满 ...
Docker for Linux 安装
Docker for Linux 安装原文:Docker for Linux 安装前言: 环境:centos7.5 64 位正文: Docker 软件包已经包括在默认的 CentOS-Extra ...
Docker-Centos7安装Docker CE 及在Docker CE中安装RabbitMQ
文章目录 Docker版本说明 Docker安装前置条件 Step1. Set up the Repository Step2. Enable the nightly or test reposit ...

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

docker使用klee(安装+基本使用)相关推荐

最新文章

热门文章