Skip to content
InfoNews

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

Published
Record updated
View JSON

Summary

Microsoft's FORGE Lab found memory-safety bugs in Rust's standard library (std and core), including cases where safe Rust code can trigger undefined behavior. The team used Hyenas, its research version of codename MDASH, an AI-powered vulnerability-scanning system, to investigate three recurring patterns of misplaced trust in unsafe code. Two of the reported issues remained open at publication.