L'Alliance C++ promeut en C++ des mécanismes de gestion de mémoire sécurisée, testés dans Rust

Le président de l'organisation C++ Alliance a annoncé le travail sur une spécification ajoutant au langage C++ des extensions pour un travail sécurisé avec la mémoire, rappelant les capacités mises en œuvre dans le langage Rust. Pour mener à bien le projet, Sean Baxter, auteur du compilateur C++ expérimental Circle, a été recruté. Ce compilateur développe des idées visant à améliorer la sécurité du code C++, mises en œuvre du côté du compilateur sans utiliser de ramasse-miettes. Dans le cadre du projet, Sean a publié un document analysant l'applicabilité de certaines mesures de protection proposées dans le langage Rust, évaluant la possibilité de leur mise en œuvre pour C++, et proposant l'ajout d'extensions au langage C++ pour améliorer la sécurité du code.

Il est à noter que l'initiative a été lancée en réponse à la demande croissante des développeurs pour des méthodes de programmation sécurisées, visant à intégrer dans le langage C++ de nouvelles fonctionnalités permettant de se protéger contre les erreurs courantes lors de la gestion de la mémoire, telles que l'accès à une mémoire déjà libérée et le dépassement des limites des buffers alloués. Les compléments sont développés en tant qu'options qui permettront de migrer progressivement les projets vers des méthodes sûres, tout en maintenant la compatibilité avec le code « non sécurisé » existant.

La sécurité du travail avec la mémoire est proposée via des mécanismes mis en œuvre au stade de la compilation et n'entraînant pas de frais supplémentaires, propres aux langages utilisant des ramasse-miettes. Parmi les principales méthodes de sécurité proposées, on mentionne le suivi de la propriété des objets, la vérification de l'emprunt des variables (borrow checker), l'utilisation du contexte sécurisé (safe), et la création des interfaces std2::send et std2::sync. Le travail couvre également la création d'une version sécurisée de la bibliothèque standard, proposant des implémentations d'algorithmes et de structures de données permettant de travailler de manière sécurisée avec la mémoire.

Source : opennet.ru