News for hackers. Stuff that matters.
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".

There are no comments on this comment yet.