手动构建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