Completed
Overview
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Miri, Undefined Behavior and Foreign Functions
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Who am I
- 3 Overview
- 4 Why use unsafe Rust
- 5 What can unsafe Rust do
- 6 What are raw pointers
- 7 The byte array
- 8 Undefined behavior
- 9 Broken rules
- 10 Good news
- 11 Bad news
- 12 What is Miri
- 13 How to use Miri
- 14 How Miri works
- 15 Miri limitations
- 16 Why does this matter
- 17 Foreign functions
- 18 Miri and undefined behavior
- 19 Miri and foreign functions
- 20 Miri contributions
- 21 Questions
