程序不变量挖掘工具Daikon的安装与使用

安装教程

1,JDK安装，配置三个java环境变量，JAVA_HOME,PATH,CLASSPATH,最终能够成功执行一个java程序为安装成功标志。
Note:三个环境变量各有其分别不同的作用，具体网上查看。

2,daikon必要组件安装daikon，配置目录daikonparent/daikon并将daikon文件解压进去，在shell启动文件中配置（linux：~/.bashrc）：
# The full pathname of the directory that contains Daikon
export DAIKONDIR=daikonparent/daikon
# 将daikon中的daikon.jar和JDK中的tools.jar放到CLASSPATH中。daikon中该命令行文件可完成。
source $DAIKONDIR/scripts/daikon.bashrc
此步骤以提取出example中java程序不变量为安装成功标志。
Note：该步骤核心就是daikon.jar,该包实现了daikon.Chicory和daikon.Daikon的功能故能够提取java程序不变量。

3,daikon扩展组建安装kvasir：
git clone https://github.com/codespecs/fjalar.git
并将最新的fjalar替换之前daikon中的fjalar（实验显示旧的可能会存在一些不可预测的问题）
cd $DAIKONDIR/daikon
make kvasir
过程中可能会出现以下问题及解决方案：
Exception1：error,autogen.sh failed to run aclocal:No such file or directory
Reason1:丢失的