Selon un article de The Register AI and ML, Canonical a soutenu des travaux de recherche visant à traduire de grands volumes de code C vers du Rust sécurisé à l'aide de l'IA. La publication indique que des chercheurs de Bristol ont reçu un financement pour vérifier si le code mature conserve ses propriétés après une conversion automatisée.
L'objectif pratique du projet est de tester la fiabilité de cette approche sur des logiciels existants, et non seulement sur de petits exemples de démonstration. Cependant, le dossier disponible ne contient aucune information sur le montant du financement, les systèmes spécifiques concernés, les critères de sécurité ou les résultats obtenus.
commentaire éditorial
Pourquoi c’est important
Une conséquence probable est l'émergence de critères plus stricts pour évaluer la traduction automatique de code mature, si l'étude produit des résultats mesurables. Le prochain signal observable sera la publication des détails de la méthodologie, des ensembles de code et des vérifications de sécurité. Une incertitude substantielle demeure : la source n'est disponible que sous forme de résumé méta, il est donc impossible d'évaluer la qualité de l'approche ou sa readiness pour une application pratique.