Miri, Undefined Behavior and Foreign Functions
Christian Poveda at RustFest Global 2020
Do you want to write unsafe Rust but don't know how to check its soundness? Do you suspect that your program has Undefined Behavior but you have no way to test it? Are you looking for a cool Rust-related project to contribute to? Then this talk is for you.
More at https://rustfest.global/session/12-miri,-undefined-behavior-and-foreign-functions/
More at https://rustfest.global/session/12-miri,-undefined-behavior-and-foreign-functions/