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

  1. 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...

  2. 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...

Explore the full Rust Systems & AI Academy