RUSTInA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) - Frédéric Recoules (2021)