DARPA : automatiser la migration des codes C vers RUST

Par:
francoistonic

mer, 07/08/2024 - 07:01

La chasse aux vieux codes C est ouverture... ou presque. La DARPA, l'agence américaine de R&D, lance un nouveau programme pour automatiser la réécriture des codes C en Rust pur le rendre plus sûr et réduire les problèmes mémoires. La Darpa prétexte que le C provoque des vulnérabilités liées à la mémoire à cause de son accès direct. Le fameux memory safe est un débat sans fin : Rust évite ces problèmes et les codes C et C++ sont pointés du doigt à cause de ces problèmes de gestion mémoire. 

Un code C ou C++ bien fait n'aura pas de soucis ou beaucoup moins. Mais cela exige une parfaite maîtrise du langage. 

La Darpa surfe sur la tendance Rust et IA. L'idée de ce programme est de disposer d'outils automatiques basés sur des LLM pour transcrire le code C en code Rust. Le projet a pour nom : TRACOR (Translating All C to Rust). La Darpa ne dit pas comment ces codes sont qualifés et validés. 

Les projets potentiels peuvent s'inscrire le 19 août. Présentation le 26 août. 

Page de soumission : https://sam.gov/opp/1e45d648886b4e9ca91890285af77eb7/view