C-to-Rust Fallacy: Automatic Refactoring Does Not Ensure Memory Security
Rust offers a compelling alternative to C/C++ with strong memory safety, but the effectiveness of automatic refactoring tools on security is questionable.
Rust has become a leading systems programming language, offering strong memory and type safety guarantees. However, the manual conversion from C to Rust requires significant developer effort. Tools for automatic C-to-Rust refactoring claim to enhance safety, but their actual impact on security remains uncertain. Our study evaluates the reliability and correctness of various refactoring methods, revealing that while they may provide memory safety, they do not necessarily ensure broader memory security.
This synthesis was produced from its source by AI; there is no human editor or manual review step. How we work