Corrode: Translating C to Rust - PDXRust September 2016

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.

Intro
For statements
Scoping differences
Why scobies
Undefined behavior
Corrode implementation
Testing
CSmith
Python script
SeeReduce
Keep Deleting
Delta Debugging
Muscle C
InlineAssembly
Timeout
Keeping the deleted parts
Linking with only 20 built
Community
literate programming
easy issues
more questions
Limitations
Haskell