一种检测在一个程序组件中字段和类的可变性的系统和方法

摘要

公开了一种检测在一个任意程序组件中字段和类的可变性的系统和方法，所述程序组件用面向对象的编程语言书写。如果其内存储入一个新值的话，及如果它的任何可到达的变量是可变的话则一个变量被认为是可变的。该系统和方法使用一个静态分析算法，它可以应用于任何软件组件而不是整个程序。该分析将字段和类或者分类为可变的、或者为不可变的。为便利开放世界分析，该算法识别这样的情形，即通过在该组件以外的代码暴露变量于可能的修改，以及这样的情形，即由被分析的代码修改变量。介绍了本分析的一个实现，它集中在检测类变量的可变性，以便避免分离问题。该实现结合过程内和过程间的数据流分析，并被证明是可高度缩放的。实验结果演示出该算法的有效性。