mlsanityData to 14 Oct 2026

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation

arXiv 2504.15144 ↗First posted 21 Apr 2025cs.CR cs.AI cs.PLcited by 1

Not on the map. Why?

Abstract (arXiv)

Despite the effort in vulnerability detection over the last two decades, memory safety vulnerabilities continue to be a critical problem. Recent reports suggest that the key solution is to migrate to memory-safe languages. To this end, C-to-Rust transpilation becomes popular to resolve memory-safety issues in C programs. Recent works propose C-to-Rust transpilation frameworks; however, a comprehensive evaluation dataset is missing. Although one solution is to put together a large enough dataset, this increases the analysis time in automated frameworks as well as in manual efforts for some cases. In this work, we build a method to select functions from a large set to construct a minimized yet representative dataset to evaluate the C-to-Rust transpilation. We propose C2RUST-BENCH that contains 2,905 functions, which are representative of C-to-Rust transpilation, selected from 15,503 functions of real-world programs.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 5 of its 25 references that are in the map. First posted on arXiv 21 Apr 2025.

Builds on

5 of 25 references.

References · 5

  1. 2017Practical Coreset Constructions for Machine Learningcited by 78
  2. 2024VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learnerscited by 20
  3. 2020Magma: A Ground-Truth Fuzzing Benchmarkcited by 16
  4. 2023Ownership guided C to Rust translationcited by 13
  5. 2018SoK: Sanitizing for Securitycited by 5

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.