Microsoft utilise les LLMs pour améliorer la sécurité de la programmation bas niveau : Checked C et RustAssistant

Des chercheurs de Microsoft Research ont présenté deux projets utilisant les grands modèles de langage (LLMs) pour améliorer la sécurité de la programmation bas niveau. Un projet utilise les LLMs pour aider avec Checked C, en ajoutant automatiquement des annotations de sécurité mémoire au code C hérité, améliorant ainsi la sécurité et réduisant la charge d'annotation manuelle. Le second, RustAssistant, utilise les LLMs pour corriger automatiquement les erreurs de compilation de Rust, réduisant significativement la courbe d'apprentissage de Rust. Ces deux projets démontrent l'immense potentiel des LLMs pour améliorer la sécurité du code et l'efficacité des développeurs, ouvrant de nouvelles possibilités pour l'ingénierie logicielle.