文件名称：docker-klee:KLEE 的 Docker 镜像
文件大小：3KB
文件格式：ZIP
更新时间：2024-06-19 16:35:12
码头工人克莱 在 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)