Immunant Blog company blog
Emitting Safer Rust with C2Rust
In this post, we will discuss recent results from Immunant and Galois in extending C2Rust to emit memory-safe Rust in certain cases. With this work we aim to shift a meaningful part of the translation burden from the human to the machine. Up until now, C2Rust has only been able to translate C to unsafe Rust that is no…
- Points
- 159
- HN comments
- 49
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 14, 2023 | Emitting Safer Rust with C2Rust by dtolnay | 159 | 49 |
