News Score: Score the News, Sort the News, Rewrite the Headlines

Compiling C to Safe Rust, Formalized

View PDF Abstract: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 C to Rust is thus an appealing course of action. Several works have gone down this path, handling an ever-increasing subset of C through a variety of Rust features, such as unsafe. While the prospect of automation is appealing, producing code that relies on unsafe negates the memory safety guarantee...

Read more at arxiv.org

© News Score  score the news, sort the news, rewrite the headlines