Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Corrode: Translating C to Rust - PDXRust September 2016

Rust via YouTube

Overview

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.

Syllabus

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

Taught by

Rust

Reviews

Start your review of Corrode: Translating C to Rust - PDXRust September 2016

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.