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.
Too many false positives, hard to determine which is a real leak. I tried it with wxWidgets project - it does not seem to recognize that an object will be freed by its parent. I know that there is a way of listing those objects in a file, but its too tedious work to list all wxWidgets objects into a single file.