3 ms·
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.
by mrweiden 2y ago
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.
- keybored 2y agoDarpa is already ahead of you all with the hedging: > The preferred approach is to use “safe” programming languages “Safe”. Terms and conditions may apply.
- Sharlin 2y agoThere 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".