Can AI spot vulnerabilities in infrastructure software?

DARPA is giving seven teams $2 million to hone tools for scrutinizing the open-source code that underpins everything from banks to water systems.