Главная
Study mode:
on
1
Intro
2
For statements
3
Scoping differences
4
Why scobies
5
Undefined behavior
6
Corrode implementation
7
Testing
8
CSmith
9
Python script
10
SeeReduce
11
Keep Deleting
12
Delta Debugging
13
Muscle C
14
InlineAssembly
15
Timeout
16
Keeping the deleted parts
17
Linking with only 20 built
18
Community
19
literate programming
20
easy issues
21
more questions
22
Limitations
23
Haskell
Description:
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

Rust
Add to list