Fatal编程技术网
  • docker/
  • 使用klee docker image时，如何在home/klee下准备好源代码文件

使用klee docker image时，如何在home/klee下准备好源代码文件

docker

使用klee docker image时，如何在home/klee下准备好源代码文件,docker,docker-container,klee,Docker,Docker Container,Klee,我已将Klee安装为docker映像。我正在努力学习KLEE的第一个教程。我想知道如何将.c文件输入home/klee，而不是通过echo“int main（int argn，char**argv）{return 0；}”>test.c输入源代码 谢谢。您需要利用docker音量；有一些默认目录可以绑定到Mac上的docker容器中，但我仍然不知道如何在Klee容器中使用它。总是有这样的错误：没有这样的文件或目录

我已将Klee安装为docker映像。我正在努力学习KLEE的第一个教程。我想知道如何将.c文件输入home/klee，而不是通过echo“int main（int argn，char**argv）{return 0；}”>test.c输入源代码

谢谢。

您需要利用docker音量；有一些默认目录可以绑定到Mac上的docker容器中，但我仍然不知道如何在Klee容器中使用它。总是有这样的错误：没有这样的文件或目录