ubuntu 16.04 docker下安装klee环境

 

手动构建docker映象：

从github上获取klee源码

git clone https://github.com/klee/klee.git

 

cd klee

 使用存储库根目录中dockerfile的内容来构建docker映像

docker build -t klee/klee .

 创建一个临时的klee docker镜像

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

 ​

 创建永久：

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

 exit命令代表退出docker

再次启动输入

docker start -ai my_first_klee_container