Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It has also way less tooling available than C to analyze its safety.


The things I’ve seen broadly adopted in the industry (i.e. sanitizers) are equally available in Rust. & Rust’s testing infrastructure is standardized so tests are actually common to see in every library.


The number of tools matters less than the quality of the tools. Rust’s inherent guarantees + miri + software verification tools mean that in practice Rust code, even with unsafe, ends up being higher quality.


Miri is better than any C tool I'm aware of for runtime UB detection.


Miri is the closest to a UB specification for Rust that there is, coming in the form of a tool so you can run it. It's really cool but Valgrind, which is a C tool that also supports Rust, also supports Rust code that calls to C and that does I/O, both pretty common things for programs to do.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: