Miri, Undefined Behavior and Foreign Functions
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.