Daikon 是一个动态不变量检测工具，支持 Java C C++ Perl 等语言。
动态不变量的检测,即通过一个动态分析发现可能的程序不变量.通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属性和它们之间的关系,这是一个高效的技术.
-
安装教程 1,JDK安装，配置三个java环境变量，JAVA_HOME,PATH,CLASSPATH,最终能够成功执行一个java程序为安装成功标志。 Note:三个环境变量各有其分别不同的作用，具体网上查看。 2,daikon必要组件安装daikon，配置目录daikonparent/daikon并将daikon文件解压进去，在shell启动文件中配置（linux：~/.bashrc）： # T
-
http://plse.cs.washington.edu/daikon/download/doc/daikon.html 1 引言 Daikon是对可能的不变量的动态检测的实现；也就是说，Daikon不变量检测器报告可能的程序不变量。不变量是指在程序中的某一点或几点保持的属性；这些属性经常出现在断言语句、文档和正式规范中。不变量在程序理解和其他许多应用中都很有用。例子包括’x.field > a
-
1 简介 这是Daikon不变量检测器的开发者手册。 有关使用Daikon的信息，请参阅Daikon用户手册。本手册是为那些已经熟悉使用Daikon，但希望对其进行定制或扩展的人准备的。 更多的信息可以从http://plse.cs.washington.edu/daikon/pubs/ 的技术文件中找到。 2 扩展Daikon 本章介绍如何定制或修改Daikon。 编译Daikon。 源代码（版
-
本教程是在Linux环境下的安装教程，想要在Windows上安装，可以参考daikon官方文档。本人在Ubuntu上安装时，尽管有官方文档及网上其他大神教程的指导，却仍然频频报错，花了很长时间才安装成功。故在此记录，希望能给有需要的人提供帮助，如有错误，请批评指正。 1、安装JDK 在安装daikon之前需要装好jdk，daikon官网教程上建议安装jdk8或以上，Ubuntu安装jdk的具体教程
-
摘要 Daikon是动态检测可能不变量的实现；也就是说，Daikon不变量检测器报告可能的程序不变量。不变量是在程序中的某个点或多个点上保持不变的属性；这些通常用于断言语句、文档和正式规范中。示例包括常数（x=a）、非零（x6=0）、在范围（a）内≤十、≤b） ，线性关系（y=axb），排序（x≤y） ，来自库的函数（x=fn（y）），包含（x∈y） ，分类（x被排序），等等。用户可以扩展Daik
-
其他 根目录下读写生效，macos没限制的请跳过 sudo mount -uw / brew /bin/zsh -c "$(curl -fsSL https://gitee.com/cunkai/HomebrewCN/raw/master/Homebrew.sh)" wget brew install wget macos 安装 cd /data sudo mkdir /data/tmp cd