本文1.首先介绍创建KLEE Docker容器的方法；2.然后介绍官网给出的一个指导实例；3.最后给出程序测试实例。创建KLEE Docker容器相关Dokcer的知识可以参见官网：https://docs.docker.com/get-started/1.创建临时KLEE Docker容器$ docker run --rm -ti --ulimit='stack=-1:-1' ...