I found this to be very well written, and quite interesting even though I am by no means well versed in this area. It's really cool to see how these vulnerabilities arise--it made me appreciate this section [0] of the Rust book even more. The fact that the compiler will check for and fail to compile if unsafe conditions are found is a really neat concept!

[0] https://doc.rust-lang.org/book/ch04-01-what-is-ownership.htm...