FORGE Lab identifies memory issues in Rust with agentic tools

Researchers at Microsoft FORGE Lab have identified some memory safety issues within the core and std libraries of the Rust language. Among the cases detected by the research, it emerged that even Rust code considered safe can trigger undefined behavior under certain circumstances.

To conduct the investigation, the team used Hyenas, an advanced search version of codename MDASH based on agentic tools. Through this tool, the researchers specifically analyzed three patterns of misplaced trust in unsafe code, examining the implications these cases entail for the safety guarantees offered by Rust.