RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine".
Frédéric RecoulesSébastien BardinRichard BonichonMatthieu LemerreLaurent MounierMarie-Laure PotetPublished in: ICSE (Companion Volume) (2021)