Justement, qui est vraiment prêt à payer la perfection ? Qui y croit ? Ca peut te sembler révoltant, mais les bugs ne sont pas __le__ problème majeur des utilisateurs... sinon MS serait en faillite depuis longtemps...
Tu ne peux pas ne pas avoir entendu parler des méthodes formelles ? Ca marche ? Bof. Enfin si, dans les confs.
Et si on avait du code parfait, plus de hackers non plus.
Ton point de vue est juste, fondé. Mais académique ! Des fois, on aime bien être crade, y'a des codes dans le coin qui le sont bien gruik, et la chasse aux overflows c'est rigolo non ? Tu as pensé à la NSA hein ? Comment ils vont faire avec des OS parfaits ?
[^] # Re: c'est qd même un faiceau de preuves convergeant
Posté par TSelek . En réponse à la dépêche faille dans apache. Évalué à -4.
Tu ne peux pas ne pas avoir entendu parler des méthodes formelles ? Ca marche ? Bof. Enfin si, dans les confs.
Et si on avait du code parfait, plus de hackers non plus.
Ton point de vue est juste, fondé. Mais académique ! Des fois, on aime bien être crade, y'a des codes dans le coin qui le sont bien gruik, et la chasse aux overflows c'est rigolo non ? Tu as pensé à la NSA hein ? Comment ils vont faire avec des OS parfaits ?