Related or just a coincidence?
> An Obama Administration official tells Re/code that recent advances in using automated methods to analyze software code for vulnerabilities have spurred interest in government circles to see if there’s a way to standardize how software is tested for security and safety.
https://recode.net/2015/06/29/famed-security-researcher-mudg...
I just wonder what will happen to Google's Project Vault [1] now that Mudge is gone. Hopefully it will still be on track.