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

巴特西