Главная
Study mode:
on
1
Intro
2
Legal Disclaimer
3
Introduction
4
Team
5
Why C2Rust
6
Why Rust
7
The Flow
8
Goals
9
C2Rust
10
Invoke the compiler
11
Limitations
12
Web Demo
13
Docker Vagrant
14
Build Translator
15
Transpiler
16
Rust Output
17
CrossCheck Tool
18
CrossCheck Example
19
CrossCheck Options
20
Crosschecking
21
Logbased Crosschecking
22
Pie in the Sky
23
Work with us
24
Github
Description:
Explore a comprehensive conference talk from RustConf 2018 that delves into C2Rust, a set of tools designed to facilitate the migration of legacy code to Rust. Learn about the three key components: a transpiler that generates structurally equivalent Rust code from C, a dynamic analysis tool for comparing C and Rust code execution, and a refactoring tool to help idiomize transpiled output. Discover how these tools aim to automate many manual steps in the C to Rust migration process, while focusing on detecting discrepancies during gradual code rewriting. Gain insights into the project's goals, limitations, and practical applications through demonstrations, code examples, and additional resources. Understand the potential impact of C2Rust on modernizing existing systems code and improving safety in software development.

C2Rust: Migrating Legacy Code to Rust - RustConf 2018

Rust
Add to list
0:00 / 0:00