Microsoft has made available Project Springfield as an Azure service preview called Microsoft Security Risk Detection (MSRD) for detecting code bugs and security vulnerabilities in Windows and Linux applications. While MSRD is advertised as a finder of security holes in code, it can be used to discover bugs too.
Read full news article on InfoQ