Published March 9, 2023
| Version v2
Software
Open
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 OOPSLA 2023 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, C2Rust, 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
artifact_documentation.md
Files
(5.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f443644380803c1e230d5731f08000ca
|
5.2 GB | Download |
|
md5:08ed6c64dfffa4a7cf09b929d42a9ae3
|
31.5 kB | Preview Download |
|
md5:fa524197d10fe13340a17d1fff735c3a
|
685 Bytes | Download |
|
md5:a39e81ded6e0e0c445ad4a8aedbd9a3d
|
398 Bytes | Download |
|
md5:22a53954e4e0ec258dfce4391e905dac
|
9.7 kB | Download |
|
md5:b377b220f43d747efdec40d69fcaa69d
|
1.0 kB | Download |
Additional details
References
- Emre, Mehmet et al. (2023), "Aliasing Limits on Translating C to Safe Rust" https://doi.org/10.1145/3586046