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!