Miri: checking your unsafe code for Undefined Behavior

Speaker: Ralf Jung

Description

In this talk I will explain what Miri is and how it can find bugs in your unsafe code. I will also briefly discuss some of the common cases of Undefined Behavior that you should be aware of when writing unsafe code.

Track

Technology & Community

Level

Intermediate