MIGRATION C VERS RUST : CANONICAL ET BRISTOL EXPLORENT L'AUTOMATISATION POUR UN LINUX PLUS SÛR
Le langage Rust est de plus en plus privilégié pour sa sécurité mémoire et ses performances, notamment dans le développement de systèmes d'exploitation comme Ubuntu. Cependant, la modernisation des vastes bases de code C existantes, qui alimentent une grande partie de Linux, représente un défi majeur. Canonical s'associe à l'Université de Bristol pour un projet de recherche visant à automatiser cette migration complexe.

Le Défi de la Migration C vers Rust
Réécrire de larges bases de code C en Rust est une tâche coûteuse et risquée, souvent sans garantie d'amélioration immédiate, comme le souligne Jon Seager de Canonical. Ces bases contiennent des années de corrections de bugs et d'optimisations. Les outils de traduction source-à-source traditionnels tendent à produire du Rust qui conserve trop d'idiomes C et d'opérations "unsafe", nécessitant un travail manuel important. D'autre part, les grands modèles de langage (LLM) peuvent générer du code Rust idiomatique, mais peinent avec des contextes de référentiel à grande échelle et n'offrent pas de garantie comportementale.

Une Approche Hybride Innovante
Pour surmonter ces limites, le projet, financé par Canonical et UK Research and Innovation sur trois ans, combinera l'apprentissage automatique et l'analyse de programmes conventionnelle. L'architecture proposée comprend quatre composants clés : la planification pour diviser le code C en sections cohérentes, la traduction par des modèles entraînés sur des conversions C-Rust connues, la validation pour s'assurer que le comportement du code source est préservé, et le débogage/réparation pour corriger les problèmes identifiés. L'objectif est de traiter le code généré comme non fiable jusqu'à preuve de sa fidélité comportementale.

Objectifs et Perspectives du Projet
Ce projet de doctorat, supervisé par le Professeur Meng Wang, Jon Seager et Dr. Cristina David, ciblera initialement deux composants de sécurité d'Ubuntu, AppArmor et snap-confine, comme études de cas. L'ambition est de développer un système capable de traduire des dépôts C substantiels en Rust avec une forte preuve d'équivalence comportementale et une intervention manuelle minimale. Les recherches pourraient également améliorer les méthodes de décomposition de référentiels, les techniques de validation, les outils de réparation de programmes, et affiner la compréhension des limites de la migration automatisée.

Cette initiative conjointe marque une étape importante vers la réduction des risques et des coûts associés à la migration des systèmes logiciels critiques vers des langages plus sûrs. Le succès de ce projet pourrait révolutionner la manière dont les systèmes d'exploitation comme Ubuntu sont maintenus et sécurisés à l'avenir.

---

Source : InfoWorld​