How Mayhem Helped Uncover a Security Vulnerability in RustOS (CVE-2022-36086)
ForAllSecure
DECEMBER 1, 2022
This series of blogs is an introduction to both Rust programming and OS development, and it's absolutely amazing. I also ran each file in the corpus through MIRI to detect undefined behavior. This post explains how Mayhem helped me identify the vulnerability and outlines some of the techniques used. The Target.
Let's personalize your content