文件名称：Klee-Docker:Klee Dockerfile 开发
文件大小：5KB
文件格式：ZIP
更新时间：2024-07-03 20:43:04
克利-Docker 介绍 Docker 是一种相对较新的技术，开发人员和系统管理员使用它来构建、发布和运行分布式应用程序。 与虚拟机相比，docker 更轻量、更高效，因为它提供了操作系统级虚拟化的额外抽象层。 您可以在阅读更多相关信息。 预建镜像 可以通过运行来拉取当前编译的 Docker 镜像（ ）： $sudo docker pull szymoniks/klee-docker 建造 要安装 docker，请按照的指南进行操作。 安装并克隆我们的项目后，您只需从项目根目录执行以下命令即可构建 Klee： $sudo docker build -t [image_name] . 其中 image_name 可以是您喜欢的最终图像的任何名称！ :) 默认情况下，make 命令的作业数量是 5，可以在 Dockerfile 中更改它以适应他们机器的规格。 我们在下面解决了 sud
【文件预览】：
Klee-Docker-master
----Dockerfile(4KB)
----unistd-llvm-2.9-jit.patch(504B)
----checksum(197B)
----stp-fix.patch(2KB)
----README.md(3KB)