Original link: Making Unsafe Rust a Little Safer: Tools for Verifying Unsafe Code, Including Libraries in C and C++ / Colin Breck.
Everyone knows that Rust is a very safe language.
Many know that Rust support unsafe blocks with less checks (unsafe blocks are similar to C#).
Obviously one should moinimize the use of unsafe blocks. And unsafe blocks if used properly is not so bad, because they clearly identify where the bad things can happen - instead of looking in 100000 lines of code then one can just look in 100 lines of code in 4 unsafe blocks,
This article explains a little on how to sanitize unsafe Rust code.