【文件属性】：
文件名称：docker-klee:KLEE 的 Docker 镜像
文件大小：3KB
文件格式：ZIP
更新时间：2021-05-30 22:48:32
码头工人克莱
在 Ubuntu Trusty 上使用 LLVM 3.4 的最小 Docker 映像。
用法
从您的工作区中运行此图像。 您可以使用clang -emit-llvm构建测试文件，然后使用 KLEE 命令klee进行测试： klee 、 ktest-tool等。
cd your/workspace
docker run --rm -tiv `pwd`:/work mbrt/klee
执照
麻省理工学院请参阅文件。
【文件预览】：
docker-klee-master
----Dockerfile(5KB)
----LICENSE(1KB)
----README.md(448B)