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 mrweiden on Tuesday July 30, 2024 @12:10PM (#41110700)
From the original post > It’s not enough to rely on bug-finding tools

From the Miri github: > Miri is an Undefined Behavior detection tool for Rust.

[ Parent | on HN ]
Re:DARPA: Translating All C to Rust (Tractor) by Sharlin on Tuesday July 30, 2024 @12:15PM (#41110788)
There is no contradiction. The fact that UB-finding tools alone are not sufficient doesn't mean they aren't useful even with a safe(r) language.

In other words, from "safer languages are necessary" it does not follow that "safer languages are sufficient".

[ Parent | on HN ]
Re:DARPA: Translating All C to Rust (Tractor) by keybored on Tuesday July 30, 2024 @12:13PM (#41110752)
Darpa is already ahead of you all with the hedging:

> The preferred approach is to use “safe” programming languages

“Safe”. Terms and conditions may apply.

[ Parent | on HN ]