Ответ 1

Xcode включает статический анализатор Clang, обозначенный как Build and Analyze (просто Analyze в Xcode 4).
http://clang-analyzer.llvm.org/xcode.html

Edit:

OCLint, основанный на Clang, обеспечивает дополнительные проверки стиля и сложности кода.
http://oclint.org