Lesson 8 of 9 · 30m

Auditing unsafe: Finding, Bounding, Justifying

What unsafe actually permits, cargo-geiger discovery, the SAFETY: comment discipline, and Miri for verification.