Miri, Undefined Behavior and Foreign Functions

Explore the intricacies of unsafe Rust, undefined behavior, and foreign functions in this 44-minute conference talk from RustFest Global 2020. Dive into the world of raw pointers, byte arrays, and the potential pitfalls of unsafe code. Learn about Miri, a powerful tool for detecting undefined behavior, and discover its capabilities, limitations, and importance in Rust development. Gain insights into foreign function interfaces and their interaction with Miri. Perfect for Rust developers looking to deepen their understanding of low-level programming concepts and contribute to the Rust ecosystem.

Intro
Who am I
Overview
Why use unsafe Rust
What can unsafe Rust do
What are raw pointers
The byte array
Undefined behavior
Broken rules
Good news
Bad news
What is Miri
How to use Miri
How Miri works
Miri limitations
Why does this matter
Foreign functions
Miri and undefined behavior
Miri and foreign functions
Miri contributions
Questions