Miri, Undefined Behavior and Foreign Functions

Time:

Even though Rust encapsulates the sources of unsafety in our codebases, sometimes we are required to write unsafe Rust code to build these encapsulations. To guarantee our code's soundness we must rely on other tools. Miri is a tool capable of detecting (almost all) undefined behavior while interpreting your code. However, to increase the number of programs that Miri can interpret, it is necessary emulate platform specific primitives to access the host machine resources. In this talk I will give a brief introduction to Miri and discuss how platform primitives are emulated.

Presented by

  • Christian Poveda Christian Poveda

    Christian is a first year PhD student working in Refinement Types at the IMDEA Software Institute. He also has been contributing to the Rust compiler occasionally for the last 3 years. He is particularly interested in Programming Languages and Type systems.