和弦2.0_Chord 2.0下载地址

静态和动态程序分析平台的Java

Chord是一种程序分析平台，使用户能够高效地设计，实施，评估，并结合一个广泛的各种静态和动态程序分析Java字节码。

取得的和弦，并采取测试驱动器，以便充分评估其能力！

下面是一些主要特点的神器出山:www.shenqi73.com“弦”

路它提供了各种的，现成的分析（例如，各种可能的别名，并调用图分析;线程逃逸分析，静态切片分析，静态和动态并发性分析发现场比赛，死锁和原子性侵犯等）
路它允许广泛的分析来表达，包括静态和动态分析，分析Java中的书面命令式的，或声明的数据记录，总结以及克隆为基础的上下文敏感的过程间分析，基于迭代优化分析，以客户为导向的分析，并结合静态/动态分析。
路，执行分析，以需求为导向的方式，缓存重用其他分析，而无需重新计算各分析计算结果，并能执行它们之间的相关性分析，而不在平行。
路它保证了在执行不同的分析的结果是相同的顺序无关，而且，结果可以在不同的运行共享。

要求：

路 JDK 5或更高版本