Canonical backs Bristol PhD to automate C to Rust translation

Canonical financia un doctorado en la Universidad de Bristol para automatizar la traducción de código C a Rust, con el objetivo de incorporar garantías de seguridad memoria en las herramientas de Ubuntu. El proyecto de tres años combina técnicas de aprendizaje automático con análisis de programas, pruebas y métodos formales para traducir repositorios completos de C a Rust de manera segura y mantenible. Se usarán estudios de caso del mundo real, como AppArmor y snap-confine, para validar el proceso. La iniciativa también generará datasets reutilizables y herramientas de reparación de programas.