Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interface Compliance of Inline Assembly: Automatically Check, Patch and
  Refine   Inline assembly is still a common practice in low-level C programming,
typically for efficiency reasons or for accessing specific hardware resources.
Such embedded assembly codes in the GNU syntax (supported by major compilers
such as GCC, Clang and ICC) have an interface specifying how the assembly codes
interact with the C environment. For simplicity reasons, the compiler treats
GNU inline assembly codes as blackboxes and relies only on their interface to
correctly glue them into the compiled C code. Therefore, the adequacy between
the assembly chunk and its interface (named compliance) is of primary
importance, as such compliance issues can lead to subtle and hard-to-find bugs.
We propose RUSTInA, the first automated technique for formally checking inline
assembly compliance, with the extra ability to propose (proven) patches and
(optimization) refinements in certain cases. RUSTInA is based on an original
formalization of the inline assembly compliance problem together with novel
dedicated algorithms. Our prototype has been evaluated on 202 Debian packages
with inline assembly (2656 chunks), finding 2183 issues in 85 packages -- 986
significant issues in 54 packages (including major projects such as ffmpeg or
ALSA), and proposing patches for 92% of them. Currently, 38 patches have
already been accepted (solving 156 significant issues), with positive feedback
from development teams.

2
The categories of this paper are: math
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th