Canonical está apoyando un nuevo proyecto de investigación de tres años destinado a hacer práctico la traducción automática de grandes bases de código C maduras a Rust seguro. La iniciativa es una colaboración entre Canonical y la Universidad de Bristol en el Reino Unido, con trabajos esperados para comenzar más adelante en 2026.
El objetivo principal del proyecto es desarrollar una plataforma completa capaz de traducir grandes repositorios de código, que a menudo contienen cientos de miles de líneas de C, a Rust seguro, confiable y mantenible. El desafío radica en la vasta cantidad de software C heredado aún en uso; reescribir manualmente dicho código es costoso y arriesgado, dado los años de correcciones y optimizaciones acumuladas.
Los traductores actuales de código fuente a código fuente solo resuelven parcialmente el problema. Si bien pueden manejar grandes volúmenes de código, suelen replicar demasiado de cerca las estructuras de C, lo que resulta en Rust que aún depende de características inseguras. Los LLM, por su parte, destacan por generar Rust idiomático para pequeños fragmentos de código, pero se enfrentan dificultades con el contexto amplio de repositorios completos.
Para superar estos obstáculos, el proyecto empleará un enfoque híbrido, o 'neurosimbólico', combinando aprendizaje automático con análisis de programas tradicionales, pruebas y métodos formales. Canonical planea utilizar AppArmor y snap-confine como estudios de caso del mundo real. La iniciativa también se alinea con la adopción más amplia de Rust dentro de Ubuntu por parte de Canonical, como se ve en proyectos como uutils coreutils y sudo-rs.
Entidades clave: Empresas: Canonical, Universidad de Bristol | Ubicaciones: Reino Unido
Fuente: Hacker News · Resumido por HeadlinesBriefing