www.coverity.com

      Explicit
Develops platform solutions for compile-time source code analysis in C, C++, and Java featuring defect detection analyses that were used for parts of the Linux and OpenBSD operating systems. [Commercial, trial version]