DARPA quiere transpilar automáticamente código C a Rust utilizando IA

El Departamento de Defensa de DARPA ha iniciado un proyecto para desarrollar herramientas de aprendizaje automático para automatizar la conversión de código C legado a Rust, con el fin de mejorar la seguridad de la memoria en el software. Los errores de seguridad de la memoria, como desbordamientos de búfer, son fuentes principales de vulnerabilidades en grandes bases de código. La iniciativa de DARPA aprovecha modelos de IA para mejorar la traducción de lenguajes de programación, esforzándose por lograr software más seguro. Dan Wallach, gerente de programas de DARPA, destaca la capacidad actual de los chatbots de IA para traducir de C a Rust, pero nota la necesidad de una gran mejora en la precisión de la traducción para constructos de programas críticos. La comunidad de ingeniería de software reconoce los persistentes problemas de seguridad de la memoria en C y C++, con un consenso sobre la necesidad de lenguajes más seguros como Rust. La Oficina del Director Nacional de Ciberseguridad también ha enfatizado la necesidad de mejores medidas de seguridad más allá de herramientas de búsqueda de bugs. Peter Morales, CEO de Code Metal, apoya el impacto potencial del proyecto en la ciberseguridad, destacando la gran atención a la seguridad de la memoria. Wallach describe a Rust como un lenguaje que impone reglas estrictas que, en última instancia, brindan libertad y seguridad a los programadores. Morales también reconoce el desafío de abordar numerosos casos límite en el proceso de traducción. Ciertos proyectos, como el núcleo de Linux, están excluidos debido a incompatibilidades técnicas con Rust.