ubuntu安装S2E

S2E即选择性符号执行，在官方网站即可下载。

下载后解压，在解压出来的目录里有个docs子目录，用浏览器打开其中的index.html文件，就有非常详细的文档。

中途checkout s2e那步稍微有点慢。

之后编译的时候因为要从网上下不少东西，而且编译挺麻烦，所以也非常慢，可以干点别的事情。

编译的时候我遇到一个错误，提示找不到SDL.h，我上网查找后，有人说要安装libsdl-gfx1.2-dev和libsdl1.2-dev，装了之后还是不行，然后发现SDL.h在我的电脑中是存在的，但不在头文件路径内，因此我们可以修改头文件的包含路径，但是我比较懒，所以直接改了源码中的#include<SDL.h>改为#include<SDL/SDL.h>重新编译就通过了。

后面有需要拷贝文件的，qemu的网络配置非常神奇，搞不定。用默认的选项启动后，在虚拟机内可以通过10.0.2.2的IP地址访问主机。