Daikon,即通过一个动态分析发现可能的程序不变量.通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,支持 Java C C++ Perl 等语言。Daikon下载4.6.0。