Daikon的安装经验

一.Windwos下安装

      windows下可以直接用控制台来运行，在JDK安装及配置没有问题的情况下，需要做的就是把/daikon/daion.jar以及/daikon/java添加到环境变量CLASSPATH里。然后在控制台就能使用daikon的命令了。

     另外，如果不想使用windows的控制台，而是想在linux环境下的话，可以安装cygwin，来模拟linux环境。另一方面，如果想要用daikon来测C及C++程序，daikon建议的工具kvasir就一定要安装在linux环境下。

二.Linux下安装

     经过验证，Daikon提供的代码例子，按照说明书里的方法，不能用JDK1.7编译执行，会报错误：

Exception in thread "main" java.lang.VerifyError: StackMapTable error: bad offset in method PushAll（）
...
...

     目前尚未解决该问题，但JDK1.6可以编译执行通过

     环境变量的配置我是在～/.bashrc当中修改的，比较重要的一步也是把/daikon/daion.jar以及/daikon/java添加到CLSSPATH当中：

export DAIKONDIR=${HOME}/daikon
export JAVA_HOME=/usr/java/jdk1.6.0_43
export JRE_HOME=${JAVA_HOME}/jre
export CLASSPATH=.:${JAVA_HOME}/lib:${JRE_HOME}/lib:${DAIKONDIR}/java:$DAIKONDIR/daikon.jar
export PATH=${JAVA_HOME}/bin:$PATH
source $DAIKONDIR/bin/daikon.bashrc

   修改完后记得source ~/.bashrc
   这样就可以使用daikon的命令了