Reply to post: Re: Eh?

Rust in peace: Memory bugs in C and C++ code cause security issues so Microsoft is considering alternatives once again

SecretSonOfHG

Re: Eh?

<<There is no reason why correctly written code should run slower than buggy code>>

You miss the fact that there is no way to tell apart "correct" from "buggy" code, much less automatically. The best you can hope is to avoid operations that could make bugs become attack vectors.

And yes, as Linus said, every bug is at least a denial of service vulnerability, but let's not dive into that.

PS: please, the "but there's this and that code that has been verified" people save themselves from commenting, as there is no one able to asses that the verification is correct, see Turing, Godel, etc...

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

SUBSCRIBE TO OUR WEEKLY TECH NEWSLETTER

Biting the hand that feeds IT © 1998–2019