Canonical, la compañía detrás de Ubuntu, está financiando un proyecto de doctorado de tres años en la Universidad de Bristol que tiene como objetivo traducir automáticamente el código C a la memoria segura Rust.
El proyecto
La investigación está dirigida por el profesor Meng Wang en Bristol, con el apoyo de UK Research and Innovation. La motivación es la seguridad de la memoria: Rust proporciona a los programadores de sistemas un control más fino sobre el rendimiento y los recursos, eliminando las clases enteras de defectos de seguridad de la memoria – especialmente valioso en los límites de seguridad.
Un enfoque «neurosymbolic»
En lugar de confiar en los modelos de idiomas, el proyecto combina el aprendizaje automático con el análisis de programas, pruebas y métodos formales – dividido en cuatro componentes: programación, traducción, validación y depuración/reparación. Los estudios de casos industriales son AppArmor y snap-confine, dos componentes Ubuntu críticos de seguridad. Son casos de prueba explícitamente, no reemplazos previstos. El trabajo está programado para comenzar más tarde en 2026.
Fuente: Discurso canónico / Ubuntu.
