Canonical ha anunciado su respaldo a un proyecto de investigación de tres años, desarrollado junto a la Universidad de Bristol (Reino Unido), destinado a traducir de forma automática grandes repositorios de software escritos en C a Rust seguro. El trabajo arrancará a finales de 2026 y tiene como meta construir una plataforma completa capaz de migrar proyectos maduros —en ocasiones con cientos de miles de líneas de código— preservando la fiabilidad y la mantenibilidad del software original. La iniciativa responde a la dificultad y el coste de reescribir manualmente bases de código C acumuladas durante años, repletas de correcciones, ajustes de compatibilidad y conocimiento implícito. Las herramientas de traducción actuales tienden a copiar estructuras de C y generan Rust dependiente de bloques inseguros; los modelos de lenguaje, en cambio, producen código idiomático en fragmentos pequeños, pero pierden el contexto global y pueden alterar el comportamiento. El proyecto propone un enfoque híbrido «neuro-simbólico» que combina aprendizaje automático con análisis estático de programas, pruebas y métodos formales: los repositorios se dividen en módulos más pequeños conservando tipos y dependencias, se traducen con modelos entrenados en pares C-Rust y, a continuación, se verifica que el código resultante se comporte como la versión C original. Como casos de estudio reales se emplearán AppArmor y snap-confine, aunque Canonical aclara que no se planea sustituirlos por Rust en el corto plazo. La acción se enmarca en la estrategia más amplia de adopción de Rust en Ubuntu, junto a proyectos como uutils coreutils y sudo-rs.
Noticias agregadas con IA