Preprint
Sep 2026
TRACTOR Benchmark for Evaluating C to Rust Translators
Memory-safety vulnerabilities remain a persistent source of security risk in critical software, much of which is implemented in memory-unsafe languages such as C and C++. Recent advances in programming languages, program analysis, and artificial intelligence have created new opportunities to modernize these legacy syst...
Hamed Okhravi, Brandt Ogden, Noah Luther et al.
· 0 citations