Microsoft FORGE Lab researchers found memory-safety bugs in Rust's core and std libraries, including cases where safe Rust code can trigger undefined behavior. Using Hyenas, FORGE's frontier research version of codename MDASH, the team investigated three patterns of misplaced trust in unsafe code and what they reveal about Rust's safety guarantees.
This article has been indexed from Microsoft Security Blog
Read the original article:
FORGE Lab uses agentic tools to identify memory safety issues in Rust