Unsafe Rust and Miri - Understanding Memory Safety and Undefined Behavior

Explore the intricacies of unsafe Rust and the Miri tool in this 55-minute conference talk by Ralf Jung. Delve into the concept of memory safety in Rust and understand why programmers sometimes need to use "unsafe" code. Learn key terms such as "undefined behavior" and "soundness," and discover systematic approaches to writing safer unsafe code. Watch a demonstration of how to use Miri to detect hard-to-find bugs in unsafe code. The talk covers common misconceptions about unsafe code, provides examples of undefined behavior, and includes a Q&A session. Gain valuable insights into advanced Rust programming techniques and tools to enhance your code's safety and reliability.