RUSTInA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation)
| Main Authors: | Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Lauren Mounier, Marie-Laure Potet |
|---|---|
| Format: | info software Journal |
| Bahasa: | eng |
| Terbitan: |
, 2021
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/4601172 |
Daftar Isi:
- The main goal of the artifact is to support the experimental claims of the paper #992 “Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine” by making both the prototype and data available to the community. The expected result is the same output as the figures given in Table I and Table IV (appendix C) of the paper. In addition, we hope the released snapshot of our prototype is simple, documented and robust enough to have some uses for people dealing with inline assembly. The artifact is made publicly available on Github at: https://github.com/binsec/icse2021-artifact992/, and more information on RUSTInA can be found at https://binsec.github.io/new/publication/1970/01/01/nutshell-icse-21.html.