Published September 9, 2023
| Version v2
Software
Open
Towards a Framework for Developing Verified Assemblers for the ELF Format (Artifact)
- 1. Shanghai Jiao Tong University
- 2. Purdue University
Description
This is the artifact for the APLAS 2023 paper "Towards a Framework for Developing Verified Assemblers for the ELF Format".
This artifact contains the implmentation and applications of our framework introduced in the paper, which is based on CompCert v3.8. There is a 'README.md' file in the main directory instructing how to build the code.
Files
verified-assembler.zip
Files
(4.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ed499b7fdff025245a7fd33c67954d57
|
4.1 MB | Preview Download |