Google would enjoy suing MS for a gazillion dollars! It could not happen to a nicer company.
Because of this case and others like it, eventually internationally based search engines will become untenable.
This class of bug is unknown in the free software world because your project will forked.
All corporations are subject to enormous pressure from corporations, and therefore can not be trusted, even if the management wanted to play it straight.
All populations, including the U.S'es are targets of information warfare by the NSA and GCHQ.
There is no security without the source code.
This is the definition of a bondage and discipline language. The idea is that the central committee designing the language knows better than the programmer. The central committee will prevent the programmer from making certain "mistakes" by leaving the concepts out of the language.
If only the central committee had control of natural language as well, they could prevent the programmer from committing thought crime by thinking forbidden thoughts.
As it is, the programmer will flee the bondage and discipline language as soon as he figures out what is going on.
But recent developments have made clear that securable hardware is sine qua non. All firmware must be in socketed memory, so that you can take it out and externally check it. You can't trust an untrusted system to check itself. All firmware must be protectable with a hardware readonly jumper or switch.
I know that this is inconvenient and a revolution on how hardware is currently made. but if people started demanding it en mass, it would not cost very much. And I mean the firmware in disk drives and optical media players and especially routers.
There may be other requirements.
This is sine qua non. Without this we have nothing.
I have a theory that it's impossible to prove anything, but I can't prove it.