【项目准备】安装KLEE

 

---

一、技术路径：Windows->wsl2->centOS7->docker(到这里失败了)

          Windows安装wsl2：参考在 Windows 10 上安装 WSL | Microsoft Docs，照着做就行。

          wsl2下安装centOS7： windows 10 WSL 安装 Centos - 两仪清风 - 博客园 (cnblogs.com)

          下载centos和进行LxRunOffline的时候要换个网络（懂都懂，反正就是连不到网的时候换网试试）

          centOS7安装docker：(12条消息) Centos7 安装Docker（2020最新亲测可用，直接复制粘贴即可）_一起码代码-CSDN博客

          其实在参考这个教程的时候踩了不少坑，首先就是yum -y install/update的时候一直在报错：

          (12条消息) linux报错Loading mirror speeds from cached hostfile解决方法_鼓捣猫腻的博客-CSDN博客

         我以为是我网络原因，就在墙头翻来翻去，结果啥用没有。然后跟着这个教程ping了发现网络也没问题，那就试试yum换源吧。结果我yum -y install wget也不行，一直报错（这辈子都没这么无语过）。

         然后看到了这个教程CentOS 7运行yum出错：Cannot find a valid baseurl for repo: base/7/x86_64_孤狼备忘录 (glbwl.com)，然后我就去找/etc/sysconfig/network-scripts，笑死，根本没有这个文件。我的sysconfig文件下面就两文件：

        

         累了呀uu们。我反复给自己做心理建设，搜遍了都没找到这样的报错解决办法。不过有一说一，重启大法好！我也不记得我怎么捣鼓的了，重启又走了一遍启动wsl，centos的流程，然后突然好像就行了。然后就顺利yum install docker-ce docker-ce-cli containerd.io，然后安好了docker。

        就当我以为柳暗花明，就差最后一步启动docker服务的时候，systemctl start docker报错了。

        (12条消息) Failed to get D-Bus connection: Operation not permitted解决_weixin_30251829的博客-CSDN博客

       我找了好几个教程，都说直接加--privileged运行就行了，行吧，我就试试。

       完事又给我报错了。说我：

      (12条消息) docker报错：Cannot connect to the Docker daemon. Is the docker daemon running on this host?_汐银的博客-CSDN博客

       笑死，说我没启动服务😅😅😅😅，我当然知道我没启动。

      这不就死锁了吗？一边启动服务报错让我直接提升权限运行，一边直接提升权限又说我服务没启动。虽然我人菜不知道这是啥原理，但我知道这tm是个死胡同了。后来去咨询了一下学长，巧了吗这不是，他也踩了这个坑。所以我决定放弃这条路子了。😅😅😅😅😅😅

二、技术路径：Windows-》wsl2-》docker-》centOS开到WSL2-》docker打开对centOS的服务-》在centOS中拉klee

      前几步就和上面所述一样。我之前在centos里面安了docker了，所以需要把之前安装的全部remove。

      (12条消息) CentOS7 卸载Docker_潮我来的博客-CSDN博客

      卸载完事后，就安装docker desktop版本就行了。网上很多教程都是在wsl中安个Ubuntu然后install docker，但其实这次不用那么麻烦。

      我们直接去docker官网，下载docker desktop：

      Install Docker Desktop on Windows | Docker Documentation

      下载完成之后直接双击安装就好了。记得有一项是wsl2，反正看到了wsl2就勾选上就完事了。

      然后下载完会注销用户重启一下，完事在这里启动centos7的服务：

记得点下右下角的APPLY&Restart。

这时候在cmd里面输入wsl -l -v，发现我的centos7 wsl版本为1，所以

wsl --shutdown

（下面的centos7是你要转换wsl到wsl2那个的名称，可以通过上述的wsl -l -v查看。）

wsl --set-version centos7 2

最后得到的就是这样：

完事我直接LxRunOffline run -n centos7，然后输入docker run hello-world，出现报错，其实是因为我忘了remove之前直接在centos里面下载的docker，我remove完之后重启了一下电脑，然后在powershell里面LxRunOffline run -n centos7，然后再docker run hello-world就好啦！

落泪了uu们，不容易的一句Hello from Docker！

然后就很简单啦，我就按照KLEE官网教程Docker · KLEE：

docker pull klee/klee

然后项目需求，我觉得还是整个永久容器比较好：

docker run -ti --name=klee1 --ulimit='stack=-1:-1' klee/klee

然后就按官网给出的那样简单测试一下能不能跑就行了。

终于！KLEE跑起来了！任务结束！

接下来看看KLEE的tutorial！