正确处理静态字段：问题、语义和分析
Soundly Handling Static Fields: Issues, Semantics and Analysis
摘要：
虽然在大多数情况下类初始化按预期工作，但一些静态字段可能在初始化之前被读取，尽管在其相应的类初始化器中进行了初始化。我们提出了一个分析计算，为每个程序点，必须已初始化的静态字段的集合，并讨论其合理性。我们表明，这样的分析可以直接应用于识别的静态字段，可以被读取之前被初始化，并提高精度，同时保持健全的空指针分析。
英文摘要：
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class initializer. We propose an analysis which compute, for each program point, the set of static fields that must have been initialized and discuss its soundness. We show that such an analysis can be directly applied to identify the static fields that may be read before being initialized and to improve the precision while preserving the soundness of a null-pointer analysis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
