bitblaze中静态分析工具vine安装

实验环境：

• 操作系统：32位Ubuntu desktop 12.04.5

1.下载vine

mkdir bitblaze
cd bitblaze/
mkdir temu
cd temu/
wget http://bitblaze.cs.berkeley.edu/release/vine-1.0/vine-1.0.tar.gz
tar zxvf vine-1.0.tar.gz

2.在vine-1.0/doc/install-vine-release.sh提示下安装所需的依赖项，然后执行：./configure
3.执行make。在make过程中遇到的问题：

error: new declaration ‘char*
basename(const char*)’

在头文件之前添加：#define HAVE_DECL_BASENAME 1

可能还会遇到offsetof错误，在irtoir-i386.cpp和irtoir-arm.cpp开头处添加：

#include <stddef.h>

4.最后查看vine是否安装成功：

cd bitblaze/vine
./trace_utils/trace_reader -trace examples/five.trace | grep T1

运行以上命令会有下图所示：

./trace_utils/appreplay -trace examples/five.trace \ -stp-out five.stp -ir-out five.il -wp-out five.wp

有运行结果则成功

参考链接：http://blog.sina.com.cn/s/blog_a5ba8b0f0101ldor.html