Coverity

Coverity automates the detection of software defects and security vulnerabilities for complex software as developers write code. With the company's products, development teams identify critical software problems that could have a catastrophic impact.