Canonical, l’entreprise derrière Ubuntu, finance un projet de doctorat de trois ans à l’Université de Bristol qui vise à traduire automatiquement le code C en Rust à sécurité mémoire.
Le projet
La recherche est dirigée par le professeur Meng Wang à Bristol, avec l’appui du Royaume-Uni Recherche et innovation. La motivation est la sécurité de la mémoire : Rust donne aux programmeurs de systèmes un meilleur contrôle des performances et des ressources tout en éliminant des classes entières de défauts mémoire-sécurité – particulièrement précieux aux frontières de sécurité.
Une approche « neurosymbolique »
Plutôt que de s’appuyer uniquement sur des modèles linguistiques, le projet combine l’apprentissage automatique avec l’analyse des programmes, les essais et les méthodes formelles – divisés en quatre composantes : planification, traduction, validation et débogage/réparation. Les études de cas Apparmeur et snap-confine, deux composants Ubuntu critiques pour la sécurité. Il s’agit de cas d’essai explicites et non de remplacements prévus. Les travaux devraient commencer plus tard en 2026.
Source: Discours canonique / Ubuntu.
