Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Differentially Testing Soundness and Precision of Program Analyzers   In the last decades, numerous program analyzers have been developed both by
academia and industry. Despite their abundance however, there is currently no
systematic way of comparing the effectiveness of different analyzers on
arbitrary code. In this paper, we present the first automated technique for
differentially testing soundness and precision of program analyzers. We used
our technique to compare six mature, state-of-the art analyzers on tens of
thousands of automatically generated benchmarks. Our technique detected
soundness and precision issues in most analyzers, and we evaluated the
implications of these issues to both designers and users of program analyzers.

30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys