ubuntu安装klee教程

ubuntu16.04安装klee(基于llvm 3.8)教程

前言

查阅了很多资料，踩了不少的坑，总的来说，这个应该是比较完善的基于llvm3.8和ubuntu16.04的安装教程，至少我自己按照这个没有问题，而且可能遇到的坑也写在了这里。如果你有什么疑问，欢迎评论。

进入klee官网

http://klee.github.io/

选择Documentation 的BuildingKLEE(LLVM3.8 - experimental)

安装依赖包

可以使用apt来进行依赖包安装

$ sudo apt-get install build-essential	\
	curl libcap-dev git cmake libncurses5-dev	\
	python-minimal python-pip unzip libtcmalloc-minimal4 \
	libgoogle-perftools-dev

安装llvm3.8

先尝试执行

$ sudo apt-get install clang-3.8 llvm-3.8 llvm-3.8-dev llvm-3.8-tools  

如果报错，那就只能下载源代码进行安装

源代码安装llvm3.8

参考这个链接

https://blog.youkuaiyun.com/mchtnwn/article/details/56676163

在当前目录下建立文件夹

mkdir ~/llvm-lang