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

Frdric Recoules, Sbastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet

Browse the full ICSE paper archive.