处理静态字段的可靠性：问题、语义和分析
摘要：类初始化通常按预期工作，但在某些情况下，尽管已在其对应的类初始化器中初始化，某些静态字段可能在被初始化之前被读取。我们提出了一种分析方法，用于计算每个程序点中必须已初始化的静态字段集，并讨论其准确性。我们展示了这样一种分析方法可以直接应用于识别可能在被初始化之前被读取的静态字段，并在保持空指针分析的准确性的同时提高精确度。
作者：Laurent Hubert (INRIA - IRISA), David Pichardie (INRIA - IRISA)
论文ID：1007.3249
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-07-21