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... Weiterlesen: FORGE Lab uses agentic tools to identify memory safety issues in Rust