FORGE Lab detecta problemas de memoria en Rust con herramientas agénticas

Los investigadores de Microsoft FORGE Lab han detectado algunos problemas de seguridad de la memoria dentro de las bibliotecas core y std del lenguaje Rust. Entre los casos detectados por la investigación, se ha revelado que incluso el código Rust considerado seguro puede, en determinadas circunstancias, desencadenar comportamientos no definidos.

Para llevar a cabo la investigación, el equipo utilizó Hyenas, una versión avanzada para la investigación con nombre en clave MDASH basada en herramientas agénticas. A través de esta herramienta, los investigadores analizaron específicamente tres patrones de confianza depositada de forma errónea en el código no seguro, examinando las implicaciones que estos casos conllevan para las garantías de seguridad ofrecidas por Rust.