Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
This is the artifact of the paper Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs, accepted at ICSE 2023. While its original title was Concrat: An Automatic C-to-Rust Translator for Concurrent Programs, we have changed the title following the reviewers’ suggestions. Our paper proposes an automatic C-to-Rust translator consisting of a syntactic translator, a static analyzer, and a code transformer. The artifact contains the implementation of the whole translator and the benchmark programs used in the paper to evaluate the translator accompanied by evaluation scripts. In addition, the paper compares our static analyzer with an existing static analyzer. For this purpose, the artifact contains also a translator that uses the existing static analyzer. We claim the available and reusable badges. We assume that the artifact reviewers can run a Docker container by pulling an image from Docker Hub. The artifact requires an x86-64 Linux machine on which Docker can be installed. The artifact is publicly available at https://doi.org/10.5281/zenodo.7573490. Please refer to its
README.pdf file for detailed usage.