When Microsoft needed help in taming the large number of flaws that had crept into its Windows operating system, it looked to technology known as "static source-code checkers" and a company called Intrinsa.

Read more