Daikon是程序不变量的推断工具。这里展示5.6.2版本的Daikon在Ubuntu 16.04上的安装步骤，共5步
1.
首先找一个你想安放Daikon的路径，然后在命令行执行以下命令：
mkdir daikonparent
cd daikonparent
wget http://plse.cs.washington.edu/daikon/download/daikon-5.6.2.tar.gz
tar zxf daikon-5.6.2.tar.gz
2.
之后设置环境变量，使用
gedit ~/.bashrc
打开相关文件，然后在文件中添加
# The absolute pathname of the directory that contains Daikon
export DAIKONDIR=daikonparent/daikon-5.6.2
# The absolute pathname of the directory that contains the Java JDK
export JAVA_HOME=/usr/lib/jvm/java
source $DAIKONDIR/scripts/daikon.bashrc
之后注销操作系统，然后再登入，打开命令行，检查是否正常。 如果不正常，则把倒数第二行改为
export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(dirname $(readlink -f $(/usr/bin/which java)))))}
3.
安装编译所依赖的库
sudo apt-get install openjdk-8-jdk gcc ctags graphviz netpbm texlive texinfo
sudo apt-get install m4 automake autoconf binutils-dev
sudo apt-get install libz-dev
4.
编译Daikon
make -C $DAIKONDIR rebuild-everything
这个过程大概需要20分钟
5.
测试实例程序
cd examples/java-examples/StackAr
javac -g DataStructures/*.java
java -cp .:$CLASSPATH daikon.DynComp DataStructures.StackArTester
java -cp .:$CLASSPATH daikon.Chicory --daikon --comparability-file=StackArTester.decls-DynComp DataStructures.StackArTester
这时候应该就能看到满屏幕的输出结果了
本文参考自https://plse.cs.washington.edu/daikon/download/doc/developer/index.html
点击 可查看更多细节
