符号执行工具S2E2.0的安装

此安装过程适用于64位，ubuntu16.04及以上版本的操作系统
最简易的方式就是通过S2E自带的管理工具s2e-env安装。基本步骤及注意事项如下：

1. 安装s2e-env工具

	$: git clone https://github.com/S2E/s2e-env.git
	$: cd s2e-env
	$: pip install .
	# Note: if you use pip earlier than version 19, you must add --process-dependency-links:
	$: pip install . --process-dependency-links
	Tests can be run via
	$: python setup.py test

然后就可以在终端界面上使用是s2e这个命令了。
2. 搭建S2E的执行环境
搭建s2e的执行环境主要是依次执行以下命令：

	$: s2e init $DIR

这步的作用主要是在DIR目录下初始化一个s2e的环境，包括安装一些以来的软件包以及从github上拉取各个子模块，该步由于国内网络问题，容易出现的是repo init失败。解决办法是：通过which repo命令找到repo的安装位置，然后修改repo文件
REPO_URL = ‘https://gerrit-googlesource.proxy.ustclug.org/git-repo’

   $:  source $DIR/s2e_activate
   $:  s2e build //调试模式使用--debug参数