Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments   Programmers often add meaningful information about program semantics when
naming program entities such as variables, functions, and macros. However,
static analysis tools typically discount this information when they look for
bugs in a program. In this work, we describe the design and implementation of a
static analysis checker called SwapD, which uses the natural language
information in programs to warn about mistakenly-swapped arguments at call
sites. SwapD combines two independent detection strategies to improve the
effectiveness of the overall checker. We present the results of a comprehensive
evaluation of SwapD over a large corpus of C and C++ programs totaling 417
million lines of code. In this evaluation, SwapD found 154 manually-vetted
real-world cases of mistakenly-swapped arguments, suggesting that such errors,
while not pervasive in released code, are a real problem and a worthwhile
target for static analysis.

9
The categories of this paper are: nlin
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess