The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
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.
How it got here
How it got here
agent via openalex
Added
2026-10-27 05:56 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{recoules2021interface,
title = {Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine},
author = {Frédéric Recoules and Sébastien Bardin and Richard Bonichon and Matthieu Lemerre and Laurent Mounier and Marie-Laure Potet},
year = {2021},
journal = {ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {1236--1247},
doi = {10.1109/icse43902.2021.00113},
}