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的命令了

  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值