Alors que le langage C, qui constitue la base de logiciels mondiaux critiques tels que les systèmes d'exploitation, est confronté à des limites de sécurité, l'équipe de recherche de KAIST est pionnière en matière de recherche technologique originale de base pour la conversion automatique précise vers Rust pour le remplacer. En prouvant l'exactitude mathématique de la conversion, une limitation des méthodes d'intelligence artificielle (LLM) existantes et en résolvant les problèmes de sécurité du langage C grâce à la conversion automatique vers Rust, ils ont présenté une nouvelle direction et une nouvelle vision pour la recherche future sur la sécurité logicielle.
L'article de l'équipe de recherche du professeur Sukyoung Ryu de la School of Computing a été publié dans le numéro de novembre de Communication de l'ACM et a été sélectionné comme article de couverture.
Le langage C est largement utilisé dans l'industrie depuis les années 1970, mais ses limitations structurelles ont continuellement provoqué de graves bugs et vulnérabilités de sécurité. Rust, quant à lui, est un langage de programmation sécurisé développé depuis 2015, utilisé dans le développement de systèmes d'exploitation et de navigateurs Web, et a la particularité de pouvoir détecter et prévenir les bugs avant l'exécution du programme.
La Maison Blanche des États-Unis a recommandé d'arrêter l'utilisation du langage C dans un rapport technologique publié en février 2024, et la Defense Advanced Research Projects Agency (DARPA) a également explicitement déclaré que Rust est la principale alternative pour résoudre les problèmes de sécurité du langage C en promouvant un projet visant à développer une technologie pour la conversion automatique du code C en Rust.
L'équipe de recherche du professeur Ryu a soulevé de manière proactive les problèmes de sécurité du langage C et l'importance de la conversion automatique avant même que ces mouvements ne commencent sérieusement, et ils ont continuellement développé des technologies de base associées.
En mai 2023, l'équipe de recherche a présenté la technologie de conversion Mutex (nécessaire à la synchronisation des programmes) à l'ICSE (International Conference on Software Eng). En juin 2024, ils ont présenté la technologie de conversion des paramètres de sortie (utilisée pour la livraison des résultats) au PLDI (Programming Language Design and Implementation), et en octobre de la même année, ils ont présenté la technologie de conversion Union (pour stocker diverses données ensemble) à l'ASE (Automated Software Eng).
Le Dr Jaemin Hong a déclaré : « La technologie de conversion que nous avons développée est une technologie originale basée sur la théorie des langages de programmation, et sa plus grande force est que nous pouvons logiquement prouver l'« exactitude » de la conversion. Il a ajouté : « Bien que la plupart des recherches reposent sur des modèles de langage étendus (LLM), notre technologie peut garantir mathématiquement l'exactitude de la conversion. »
Le Dr Hong devrait être nommé professeur adjoint au département d'informatique de l'UNIST à partir de mars 2025.
En outre, l'équipe de recherche du professeur Ryu a quatre articles, dont celui de la technologie de conversion C → Rust, acceptés pour présentation à l'ASE 2025 qui s'est tenu à Séoul, en Corée du Sud, du 16 au 20 novembre.
Ces articles, en plus de la technologie de conversion automatique, couvrent divers domaines de pointe du génie logiciel. Ils comprennent : une technologie pour vérifier si les programmes informatiques quantiques fonctionnent correctement, la technologie « WEST » qui vérifie automatiquement l'exactitude des programmes WebAssembly (technologie pour une exécution rapide et efficace des programmes sur le Web) et crée des tests pour ceux-ci, et une technologie qui simplifie automatiquement le code WebAssembly complexe pour trouver rapidement les erreurs. Parmi ceux-ci, le journal WEST a reçu le Distinguished Paper Award.
