Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

Frédéric Recoules, Sébastien Bardin, Richard Bonichon +3

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 i…