Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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.

14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex