Should also be worthy pointing out that as part of the Clang project, LLVM also has a pretty good static analyzer, which is being actively developed in the open. http://clang-analyzer.llvm.org/
I've been using it to analyze a bunch of projects, amongst them the Enlightenment Foundation Libraries. I've made a blog post about it here: http://www.libertatia.org/blog/?p=67