> Static analysis tools will almost certainly be an increasingly important
> part of many developers' tool boxes.
Will be? I don't know about you, but when I'm hacking on C or C++, one of the first things I do is setup my run_tests script to run as many static tools on my code as possible. It's saved me tons of time, and those tools are just ones separate from GCC! I am happy that there is competition, and I still need to look into LLVM/CLANG, but there are other static code checking tools (splint and cppcheck are two that come to mind).