Explore a 49-minute conference talk on Corrode, a tool for translating C code to Rust, presented by Jamey Sharp at PDXRust September 2016. Dive into topics such as for statements, scoping differences, undefined behavior, and the Corrode implementation. Learn about testing techniques, including CSmith and delta debugging, as well as challenges like handling inline assembly and timeouts. Discover community aspects, literate programming, and limitations of the tool. Gain insights into the process of converting C to Rust and the complexities involved in language translation.
Corrode: Translating C to Rust - PDXRust September 2016