Livrer un C++ sûr par Bjarne Stroustrup au CppCon 2023
Livrer un C++ sûr, par Bjarne Stroustrup au CppCon 2023
La sécurité des types était l'un des idéaux initiaux de la conception du C++. Nous avons fait évoluer le C++ jusqu'au point où nous pouvons écrire du C++ sans violation du système de types, sans fuite de ressources, sans corruption de la mémoire, sans ramasse-miettes, sans limitation de l'expressivité ou sans dégradation des performances par rapport à un C++ moderne bien écrit.
Nous sommes confrontés à trois défis majeurs : Définir ce que signifie "sûr" dans le contexte des diverses utilisations du C++, garantir cette sécurité là où des garanties sont nécessaires, et amener les développeurs à écrire ce code sûr vérifié.
Bjarne Stroustrup expose une approche basée sur les profils de sécurité pour relever ces défis et décris une approche pour éliminer les pointeurs pendants. Il suggère comment éliminer tous les pointeurs pendants et toutes les erreurs de plage. Son objectif pour les applications clés est un code C++ vérifié sûr au niveau des types et des ressources. L'accent est mis sur la minimisation des vérifications coûteuses au moment de l'exécution grâce à l'utilisation d'abstractions. Il voit l'accent mis actuellement sur la sécurité comme une opportunité de compléter un aspect des objectifs fondamentaux du C++ dans le code du monde réel.
Bjarne Stroustrup
Bjarne Stroustrup est le concepteur et l'implémenteur original du langage C++, ainsi que l'auteur du langage de programmation C++ (4e édition) et de A Tour of C++ (3e édition), Programming : Principles and Practice using C++ (2e édition), ainsi que de nombreuses publications populaires et universitaires. Il est professeur d'informatique à l'université Columbia de New York. Stroustrup est membre de l'Académie nationale d'ingénierie des États-Unis et membre de l'IEEE, de l'ACM et de la CHM. Il a reçu le prix Charles Stark Draper 2018, le prix Computer Pioneer 2018 de l'IEEE Computer Society et la médaille Faraday 2017 de l'IET. Il a réalisé la plupart de ses travaux les plus importants aux Bell Labs. Ses recherches portent sur les systèmes distribués, la conception, les techniques de programmation, les outils de développement logiciel et les langages de programmation. Pour faire du C++ une base stable et actualisée pour le développement de logiciels dans le monde réel, il a joué un rôle de premier plan dans l'effort de normalisation ISO C++ pendant plus de 30 ans. Il est titulaire d'une maîtrise en mathématiques de l'université d'Aarhus, où il est professeur honoraire au département d'informatique, et d'un doctorat en informatique de l'université de Cambridge, où il est membre honoraire du Churchill College. www.stroustrup.com
Et vous ?
:fleche: Quel est votre avis sur le sujet ?
Voir aussi :
:fleche: Bjarne Stroustrup, 72 ans, créateur du langage C++, partage ses conseils de vie et a également raconté comment il est devenu programmeur par erreur
:fleche: Bjarne Stroustrup, créateur du C++, s'exprime sur les systèmes distribués, la sécurité des types et sur des langages concurrents comme Rust et Java
:fleche: Bjarne Stroustrup publie un article dans lequel il explique comment C++ a réussi à s'épanouir dans un monde surpeuplé de langages et changeant de 2006 à 2020
