TY  - RPRT
TI  - Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
AU  - Frédéric Recoules
AU  - Sébastien Bardin
AU  - Richard Bonichon
AU  - Matthieu Lemerre
AU  - Laurent Mounier
AU  - Marie-Laure Potet
PY  - 2021
UR  - https://arxiv.org/abs/2102.07485
ID  - 2102.07485
ER  -