【项目准备】安装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博客

笑死，说我没启动服务

【项目准备】安装KLEE相关推荐

后盾网lavarel视频项目---Laravel 安装代码智能提示扩展「laravel-ide-helper」
后盾网lavarel视频项目---Laravel 安装代码智能提示扩展「laravel-ide-helper」一.总结一句话总结: laravel-ide-helper作用是:代码提示 larav ...
webpack 的基本使用—— 创建列表隔行变色项目||在项目中安装和配置 webpack
创建列表隔行变色项目 ① 新建项目空白目录,并运行 npm init –y 命令,初始化包管理配置文件 package.json ② 新建 src 源代码目录 ③ 新建 src -> index ...
手把手建项目 PrimeNG安装使用
手把手建项目 PrimeNG安装使用之前写过一片关于PrimeNG的安装使用,当时也是接触不久,最近重新使用的时候发现还是有一些东西没有说清楚. 当时用的是Angular2现在已经是Angular4 ...
【centos7中使用docker安装KLEE】
1安装docker 1.1 准备建立repository yum install -y yum-utils 由于我的环境中安装多个版本的python,使用"python --verion& ...
在 Ubuntu 18.04 下安装 Klee 2.2
Klee 是基于 LLVM 的符号执行引擎,因此安装 Klee 首先需要安装对应版本的 LLVM .Klee 2.2 版本是基于 LLVM 9 的,本文主要记录在纯净 Ubuntu 18.04 安装 ...
什么是loader、项目中安装loader、使用loader管理css格式文件
1.什么是loader? 可以加载和使用项目中的css文件 https://www.webpackjs.com/concepts/loaders/ 1.1.css文件处理-准备工作 1.2.css文件 ...
Vue创建项目、安装插件、引入全局的less变量
一.查看npm环境变量配置: ①使用快捷键windows+r打开任务管理器 ②输入cmd进入 ③检查是否安装,成功会返回版本号 node -v npm -v 安装node:https://nodejs ...
ubuntu安装klee教程
ubuntu16.04安装klee(基于llvm 3.8)教程前言查阅了很多资料,踩了不少的坑,总的来说,这个应该是比较完善的基于llvm3.8和ubuntu16.04的安装教程,至少我自己按照这 ...
ubuntu18.04安装klee
参考网址: CSDN:https://blog.csdn.net/goto2091/article/details/86602063 官网:http://klee.github.io/build-ll ...

【项目准备】安装KLEE

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

【项目准备】安装KLEE相关推荐

最新文章

热门文章