Clang Static Analyzer checker-268 adds interprocedural analysis for C++ and ObjC (clang-analyzer.llvm.org)

While the potential is really exciting, there isn't much of a story here. I'm sure someone will eventually write a blog post showcasing whole classes of errors detected by the new checker -- I'll upvote that.

In case anyone else is wondering what this means: http://en.wikipedia.org/wiki/Interprocedural_optimization