This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.| Colin Breck
Miri is an evaluator for rust that detects many kinds of undefined behavior. Here are some things it could (possibly) do that would catch bugs I’ve had/seen before.| shift.click