Project Verona : le langage de programmation système dérivé de Rust que Microsoft développe

Selon Microsoft, 70 % des failles de sécurité découvertes dans les produits MS au cours des 12 dernières années étaient dues à des problèmes de sécurité mémoire (Memory Safety). Rust, un langage de programmation système qui a gagné en popularité ces dernières années, est capable de détecter ce type de problèmes de sécurité mémoire au moment de la compilation. C’est ce qui a conduit MS à mener, depuis l’été dernier, une expérimentation consistant à réécrire en Rust une partie du code interne de Windows initialement en C++.

Les résultats de l’expérience ont été positifs, mais il semble que, du point de vue de MS, Rust, en tant que projet encore jeune, manquait de certaines fonctionnalités pour leur usage. C’est peut-être pour cela que MS a commencé à développer un nouveau langage de programmation système dérivé de Rust, sous le nom de Project Verona. Par rapport à Rust, la différence la plus notable serait que le modèle de propriété mémoire s’applique non pas à chaque objet individuellement, mais à l’échelle de régions (region). Cela permet de partitionner et de gérer l’espace mémoire par zones, et notamment d’utiliser du code legacy existant dans des partitions sandboxées. Étant donné la quantité sans doute énorme de code legacy chez MS, qu’il est impossible de supprimer entièrement, une telle fonctionnalité leur était probablement nécessaire. Pour l’instant, Project Verona en est encore au stade de la recherche, mais il devrait être publié prochainement en open source.

Autres articles :

• https://winbuzzer.com/2019/12/…

• https://infoworld.com/article/3487676/…

Vidéos et slides de présentation associées :

• https://vimeo.com/376180843

• https://slideshare.net/KTNUK/…

70 % des failles de sécurité dans les produits MS sont liées à la sécurité mémoire :

• https://msrc-blog.microsoft.com/2019/07/…

Expérimentation de réécriture en Rust d’une partie de Windows :

• https://msrc-blog.microsoft.com/2019/11/07/using-rust-in-windows/

[iolothebard]

Il faudrait contribuer à Rust... on fork dès le départ ?

[sduck4]

Rust est vraiment très en vogue.

[xguru]

Ah… je crains aussi un peu qu’ils ne soient en train de créer une sorte de variante très "MS", un peu comme J#.

[kunggom]

Quand tu viens, apporte du Melona.