clang Static Analyzer (i.e. “scan-build”) is the bomb. 

Wow! I think I’ve got myself an Xcoder’s presentation topic – this is some neat stuff that needs to be shared.