Pas forcément, tu as bien coq et d'autres systèmes de preuves formels dont tu peux extraire des programmes certifiés. Il y a aussi des outils pour prouver formellement des propriétés sur du code C, ou d'autres langages. Si c'est pas très utilisé (à part pour certains systèmes critiques) c'est surtout parce que ça demande beaucoup plus de travail, et que peut-être pour beaucoup même trop pour juste une grosse faille toutes les plusieurs années.
Sinon, c'est quand même vrai que les dépassement de mémoire c'est beaucoup plus courant avec du code C qu'avec d'autres langages où tu ne gères pas la mémoire et tu dois juste faire confiance au GC, dont les bugs sont moins courants normalement, du moins il me semble.
[^] # Re: Une analyse du bug.
Posté par anaseto . En réponse à la dépêche Nouvelle vulnérabilité dans l’implémentation OpenSSL. Évalué à 8.
Pas forcément, tu as bien coq et d'autres systèmes de preuves formels dont tu peux extraire des programmes certifiés. Il y a aussi des outils pour prouver formellement des propriétés sur du code C, ou d'autres langages. Si c'est pas très utilisé (à part pour certains systèmes critiques) c'est surtout parce que ça demande beaucoup plus de travail, et que peut-être pour beaucoup même trop pour juste une grosse faille toutes les plusieurs années.
Sinon, c'est quand même vrai que les dépassement de mémoire c'est beaucoup plus courant avec du code C qu'avec d'autres langages où tu ne gères pas la mémoire et tu dois juste faire confiance au GC, dont les bugs sont moins courants normalement, du moins il me semble.