KLEE安装

KLEE简介

KLEE是一个构建在LLVM编译器之上的符号虚拟机，在UIUC开源许可下可用。有关KLEE的具体细节，可以参考这篇论文:OSDI 2008。

安装流程

说明：文本安装全程参照官网说明：http://klee.github.io/

笔者操作系统为maxOS:Majave,因而首先介绍macOS系统，mac上的安装有两种方式

通过Docker安装:

首先，Docker是什么：

简而言之，Docker 在容器的基础上，进行了进一步的封装，从文件系统、网络互联到进程隔离等等，极大的简化了容器的创建和维护。使得 Docker 技术比虚拟机技术更为轻便、快捷。

想要具体了解，可以移步：https://yeasy.gitbooks.io/docker_practice/content/introduction/

下面，安装：

1.安装docker

Docker安装官方文档：https://docs.docker.com/docker-for-mac/

想看中文的话可以参考：https://www.runoob.com/docker/macos-docker-install.html

下载地址：https://hub.docker.com/editions/community/docker-ce-desktop-mac 下载前需要登录，注册登录也非常简单。

2.安装KLEE

一条命令：

$ docker pull klee/klee:2.0

安装完成。 

直接从git下载KLEE安装:（笔者用这种方法安装遇到很多问题，暂时没有成功，之后再补充）