Compiling C to Safe Rust, Formalized
A Fromherz, J Protzenko - arxiv preprint arxiv:2412.15042, 2024 - arxiv.org
The popularity of the Rust language continues to explode; yet, many critical codebases
remain authored in C, and cannot be realistically rewritten by hand. Automatically translating …
remain authored in C, and cannot be realistically rewritten by hand. Automatically translating …
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
In recent years, there has been a lot of interest in converting C code to Rust, to benefit from
the memory and thread safety guarantees of Rust. C2Rust is a rule-based system that can …
the memory and thread safety guarantees of Rust. C2Rust is a rule-based system that can …