MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
Ce document cartographie systématiquement les 179 règles MISRA C++ 2023 vers le langage de programmation Rust, en les catégorisant par applicabilité pour démontrer comment la conception de Rust impose automatiquement près de la moitié de ces règles tout en fournissant des adaptations spécifiques et en identifiant les lacunes pour les règles restantes afin de soutenir le développement de systèmes critiques pour la sécurité.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Imaginez que vous construisez une machine à haut risque, comme une voiture autonome ou un dispositif médical. Vous ne pouvez pas vous permettre qu'un seul boulon se desserre ou qu'un fil en court-circuit. Depuis des décennies, les ingénieurs qui construisent ces machines avec le langage de programmation C++ suivent un vaste et strict code de règles appelé MISRA. Considérez MISRA comme un « Manuel de Sécurité » de 179 pages qui énonce des choses telles que : « Ne faites jamais ceci », « Faites toujours cela », et « Si vous touchez cette pièce spécifique, vous devez porter un casque ».
Maintenant, un nouveau langage plus sûr, appelé Rust, est arrivé. Rust est comme un kit de construction ultra-avancé qui empêche automatiquement de nombreuses erreurs courantes (comme faire tomber un boulon ou croiser des fils) simplement par sa conception. Parce que Rust est intrinsèquement sûr par conception, les ingénieurs commencent à l'utiliser pour ces mêmes machines à haut risque.
Le Problème :
L'ancien manuel de sécurité (MISRA) a été écrit pour le C++. Il contient des règles sur des choses que Rust n'a même pas, et il omet des aspects que Rust gère différemment. Si vous essayez d'utiliser l'ancien manuel pour le nouveau kit, vous vous retrouverez avec de nombreuses règles confuses et inutiles.
La Solution (La Mission de l'Article) :
Les auteurs de cet article ont agi comme des traducteurs et des inspecteurs de sécurité. Ils ont pris chacune des 179 règles de l'ancien manuel C++ et se sont demandé : « Cette règle a-t-elle encore du sens pour Rust ? »
Ils ont créé un nouveau système pour classer ces règles dans six catégories distinctes :
- La Poubelle (Non Applicable) : Ce sont des règles concernant des choses qui n'existent tout simplement pas en Rust.
- Analogie : Imaginez une règle disant : « N'utilisez pas de voiture attelée ». Si vous conduisez une Tesla, cette règle est inutile. Vous n'avez pas de cheval, donc vous n'avez pas besoin de vous en soucier. Environ 32 % des anciennes règles tombent dans cette catégorie.
- La Magie (Déjà Satisfait) : Ce sont des règles que Rust applique automatiquement.
- Analogie : Imaginez une règle disant : « Ne laissez pas la voiture tomber d'une falaise ». En Rust, la voiture ne peut littéralement pas tomber d'une falaise car le volant est verrouillé jusqu'à ce que vous vérifiiez la carte. La règle reste vraie, mais vous n'avez pas besoin de l'écrire car la conception de la voiture rend impossible sa violation. Environ 30 % des règles se retrouvent ici.
- Toujours Nécessaire (Requis en Rust Sûr) : Ce sont des règles concernant le bon sens général que Rust ne corrige pas automatiquement.
- Analogie : Même avec une voiture parfaite, vous avez toujours besoin d'une règle disant : « Ne conduisez pas en dormant ». Rust empêche les pannes mécaniques, mais il ne peut pas empêcher un conducteur somnolent de prendre une mauvaise décision. Environ 12 % des règles sont encore nécessaires même lors de l'utilisation de la version « sûre » de Rust.
- La Zone de Danger (Requis en Rust Non Sûr) : Rust possède un mode spécial « briser le verre en cas d'urgence » appelé Non Sûr (Unsafe). Cela vous permet de contourner les verrous de sécurité pour effectuer des opérations puissantes de bas niveau.
- Analogie : Si vous décidez d'enlever les verrous de sécurité de la voiture pour courir des courses, vous avez soudainement besoin de toutes ces anciennes règles de sécurité. L'article a constaté que 36 règles, qui étaient gérées automatiquement par la sécurité de Rust, redeviennent soudainement critiques si vous utilisez ce mode « Non Sûr ».
- La Traduction (Nécessite une Adaptation) : Certaines règles concernent des concepts qui existent dans les deux langages mais fonctionnent différemment.
- Analogie : Une règle pourrait dire : « N'utilisez pas un tournevis pour enfoncer un clou ». En Rust, vous n'utilisez pas de tournevis du tout ; vous utilisez un outil spécialisé. L'intention (n'utilisez pas le mauvais outil) est la même, mais l'instruction spécifique doit être réécrite pour s'adapter aux outils de Rust. Environ 6 % des règles ont nécessité ce type de traduction.
- Le Panier Manquant : L'article note qu'il existe des lacunes de sécurité où Rust a besoin de nouvelles règles qui n'existent pas encore dans l'ancien manuel.
Les Grandes Conclusions :
- Rust est un Changement de Jeu : Parce que Rust est construit de manière si sûre, près de 61 % des anciennes règles de sécurité du C++ sont soit inutiles, soit gérées automatiquement par le langage lui-même. Cela signifie qu'un futur manuel de sécurité pour Rust pourrait être beaucoup plus court et plus facile à suivre.
- Le Piège du « Non Sûr » : Si vous utilisez le mode « Sûr » de Rust, vous êtes très protégé. Mais si vous utilisez le mode « Non Sûr » (ce qui est parfois nécessaire pour des tâches haute performance), vous perdez ces protections automatiques. L'article souligne que la certification de sécurité pour Rust doit se concentrer fortement sur la gestion de ces sections « Non Sûres ».
- Ce n'est Pas Encore Terminé : Bien que Rust soit excellent, l'article note que les outils et les normes de l'industrie ne sont pas encore pleinement matures. C'est comme avoir une nouvelle voiture fantastique, mais les lois de la circulation et les compagnies d'assurance ne l'ont pas encore pleinement intégrée. Pour l'instant, Rust sera probablement utilisé aux côtés du C++ (comme ajouter un nouveau moteur plus sûr à une vieille voiture) plutôt que de le remplacer entièrement immédiatement.
En Résumé :
Les auteurs n'ont pas simplement dit « Rust est bon ». Ils ont fait le travail difficile de cartographier les anciennes règles de sécurité vers le nouveau langage, prouvant que la conception de Rust élimine une énorme partie de l'ancien code de règles, tout en identifiant clairement quelles règles spécifiques restent importantes et où de nouvelles règles doivent être écrites. Ils ont rendu toutes leurs découvertes publiques afin que les ingénieurs puissent commencer à construire des systèmes plus sûrs avec Rust dès aujourd'hui.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.