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.

{"references": ["Emre, Mehmet et al. (2023), \"Aliasing Limits on Translating C to Safe Rust\" https://doi.org/10.1145/3586046"]}