[mcarreno]

For C, C++ or Objective-C check out the Clang Static Analyzer.

http://clang-analyzer.llvm.org/