Je ne vais pas parler ici des considérations politiques mais j'ai trouvé que le bug introduit dans la glibc est particulièrement intéressant. Pour ceux qui n'ont épluché les liens du journal, voici une tentative d'explication.
Bravo pour ton explication simple et claire!
Une point cependant me taraude: apparemment le compilateur serait capable de déterminer automatiquement si une variable est leaf ou pas, il pourrait enregistrer cette information dans les fichiers objet, enregistrer aussi les prototypes des fonctions appellées dans chaque unité de compilation et vérifier les incohérences, le tout complètement automatiquement. Ou peut-être serait-il plus approprié de déplacer ce genre de tests dans un outil d'analyse de code.
[^] # Re: Un peu d'explications sur le bug introduit
Posté par Michaël (site web personnel) . En réponse au journal Merci aux développeurs de la GNU libc !. Évalué à 4.
Bravo pour ton explication simple et claire!
Une point cependant me taraude: apparemment le compilateur serait capable de déterminer automatiquement si une variable est leaf ou pas, il pourrait enregistrer cette information dans les fichiers objet, enregistrer aussi les prototypes des fonctions appellées dans chaque unité de compilation et vérifier les incohérences, le tout complètement automatiquement. Ou peut-être serait-il plus approprié de déplacer ce genre de tests dans un outil d'analyse de code.