FORGE Lab uses agentic tools to identify memory safety issues in Rust

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.

Summary from Microsoft Security Blog.

Explained

The technology and terms in this story. Learn more

More in AI