News for hackers. Stuff that matters.

A comment on DARPA: Translating All C to Rust (Tractor). Parent comment

Re:DARPA: Translating All C to Rust (Tractor) by the8472 on Tuesday July 30, 2024 @03:09PM (#41113012)
The trophy cases in miri are about bugs in unsafe code. Yes, you can write UB with unsafe code. This should not be news.

And miri is a blessing. There even is a known case where someone found a bug in C by translating it to rust and then running it through miri.

[ Parent | on HN ]

There are no comments on this comment yet.