Donc, à mon avis, l'utilisation d'un langage comme Ada aurait très certainement pu permettre d'éviter ou de détecter le bug plus tôt.
C'est justement l'objet d'une discussion en cours sur le newsgroup comp.lang.ada.
Pour faire court, un des principaux écueils est la disponibilité d'un compilateur Ada sur toutes les plateformes censées faire tourner OpenSSL.
[^] # Re: Les analyseurs ne sont pas non plus une panacee
Posté par Blackknight (site web personnel, Mastodon) . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 3.
C'est justement l'objet d'une discussion en cours sur le newsgroup comp.lang.ada.
Pour faire court, un des principaux écueils est la disponibilité d'un compilateur Ada sur toutes les plateformes censées faire tourner OpenSSL.