Reply to post: Re: Explain this to me, please

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

}{amis}{ Silver badge
Boffin

Re: Explain this to me, please

Semantic checkers exist and I am certain the Microsoft will be using them the problem is that there are a million ways to create one of these memory corruption errors and new ways of exploiting the are being found all the time.

Long story short its pretty much impossible at this time to do an automatic check that is certain.

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