极速下载，酣畅淋漓
轻松点击，一键安装
软件介绍:
Daikon是一个动态不变量检测工具,支持JavaCC++Perl等语言。动态不变量的检测,即通过一个动态分析发现可能的程序不变量.通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量。
daikon
方便使用更快、更高效 立即下载
软件介绍:
Daikon是一个动态不变量检测工具,支持JavaCC++Perl等语言。动态不变量的检测,即通过一个动态分析发现可能的程序不变量.通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量。
daikon
方便使用