符号执行工具KLEE安装

系统环境

• VMware workstations 10.0
• Ubuntu-14.04-desktop-amd64
• RAM：4GB
• ROM：50GB
• CPU：Intel-i7-4core

1. 安装步骤

按照官方安装文档Build KLEE with LLVM3.4来就行

2. 注意事项

2.1 .bashrc文件在~/.bashrc直接gedit ~/.bashrc便可编辑
2.2 第4部Build uclibc and the POSIX environment model还是选择装上吧，做点实际的测试还是用得上的，能够用到KLEE应该也不是小项目了~

3. 做点小实验测试一下

官方提供的3个小实验:
- Testing a small function
- Testing a Simple Regular Expression Library
- Solving a maze with KLEE
都可以做一下，按实验步骤，不会出现什么问题的（出问题来打我吧）