ADVANCED
Unsafe Rust, Miri & Soundness Invariants
Write sound FFI bridges, prevent undefined behavior with pointer provenance, and prove invariants with Miri and Loom. Part of the free Rust Systems & AI Academy — every lesson below is open to everyone, no signup required.
2 lessons270 XP~34 min total100% free
// LESSONS IN THIS MODULE
- 01Raw Pointers, Pointer Provenance & Strict Aliasing18 min · 140 XP
What Unsafe Rust Actually Does A common misconception is that writing unsafe turns off the Rust compiler. In reality, unsafe simply gives the software...
- 02MaybeUninit<T> & Sound Buffer Initialization16 min · 130 XP
The Danger of mem::uninitialized() Historically, developers wrote let x: T = std::mem::uninitialized(); to allocate stack memory before reading into i...