4 ms·
Miri is better than any C tool I'm aware of for runtime UB detection.
by wyager 2y ago
Miri is better than any C tool I'm aware of for runtime UB detection.
- est31 2y agoMiri 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.