Daikon的安装经验

来源：互联网发布：python cuda windows 编辑：程序博客网时间：2024/06/03 21:45

一.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}/daikonexport JAVA_HOME=/usr/java/jdk1.6.0_43export JRE_HOME=${JAVA_HOME}/jreexport CLASSPATH=.:${JAVA_HOME}/lib:${JRE_HOME}/lib:${DAIKONDIR}/java:$DAIKONDIR/daikon.jarexport PATH=${JAVA_HOME}/bin:$PATHsource $DAIKONDIR/bin/daikon.bashrc

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