Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Precise Null Pointer Analysis Through Global Value Numbering   Precise analysis of pointer information plays an important role in many
static analysis techniques and tools today. The precision, however, must be
balanced against the scalability of the analysis. This paper focusses on
improving the precision of standard context and flow insensitive alias analysis
algorithms at a low scalability cost. In particular, we present a
semantics-preserving program transformation that drastically improves the
precision of existing analyses when deciding if a pointer can alias NULL. Our
program transformation is based on Global Value Numbering, a scheme inspired
from compiler optimizations literature. It allows even a flow-insensitive
analysis to make use of branch conditions such as checking if a pointer is NULL
and gain precision. We perform experiments on real-world code to measure the
overhead in performing the transformation and the improvement in the precision
of the analysis. We show that the precision improves from 86.56% to 98.05%,
while the overhead is insignificant.

10
The categories of this paper are: q-bio
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol