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