Unsafe Rust and Miri by Ralf Jung - Rust Zürisee June 2023

Memory safety is one of the key selling points of Rust. However, even the Rust compiler is not omniscient, so sometimes programmers need to resort to "unsafe" code and take on the responsibility of ensuring memory safety themselves. In this talk I will introduce key terms surrounding unsafe code such as "undefined behavior" and "soundness", and explain how to write unsafe code in a systematic way that reduces the chance of getting it wrong. I will also demonstrate how you can use Miri to check your unsafe code for otherwise hard-to-detect bugs.

Slides: https://github.com/rust-zurichsee/meetups/tree/master/2023-06-08_miri-simd-hir
Ralf's Blog: https://ralfj.de/blog/

Would you like to chat or give a talk? Join us in our Matrix room:
https://matrix.to/#/#rust-zuerisee:matrix.coredump.ch

Support the Zürich community: https://estada.ch/support-my-work/

Chapters:
00:00 Introduction
01:45 Rust is a memory-safe language
08:49 Common misconceptions with unsafe code
18:12 Examples of Undefined Behavior
44:28 Questions

Видео Unsafe Rust and Miri by Ralf Jung - Rust Zürisee June 2023 канала Rust