There is a newer version of the record available.

Published January 5, 2023 | Version v1
Software Restricted

Artifact for "Aliasing Limits on Translating C to Safe Rust"

Authors/Creators

  • 1. University of San Francisco
  • 2. University of California Santa Barbara

Description

This archive contains the accompanying artifact (a docker container) for our conditionally-accepted paper "Aliasing Limits on Translating C to Safe Rust".

The code in the artifact (including the benchmark programs) have separate licenses, see the corresponding license files.

- SVF is licensed under GPLv3

- Our standalone scripts and Laertes are dual-licensed under MIT and APACHE licenses.

See the benchmark programs' license files (inside the Docker image, under ~/c-code.tgz which contains the original C programs) for their licensing terms.

Files

Restricted

The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/7507978">Log in</a> to check if you have access.