Coverity
Coverity is a software company
We sell software development tools
Our flagship product is Prevent
Static Analysis of Code
Prevent identifies three types of defects:
Quality 
Security
Concurrency