MIRI

Summary from the TLDR InfoSec newsletter

Miri is a rust lang Undefined Behavior detection tool that seeks to detect unsafe code that fails to uphold safety requirements.