Completed
Who am I
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
