There is a newer version of the record available.

Published September 9, 2023 | Version v1
Software Open

Towards a Framework for Developing Verified Assemblers for the ELF Format (Artifact)

Creators

  • 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.0 MB)

Name Size Download all
md5:63ebea3a826f1040026a31f76bdd1aad
4.0 MB Preview Download