Static analysis of C/C++ code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more. The goal is 0% false positives. See the wiki for more information.
The two versions command line and GUI versions are offered with the UI it uses QT.
22 had a bug in the Linux kernel discovered and resolved by the program and
also in many other open source programs have been used.