Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++

This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.