使用LLVM/Clang静态分析仪

注意:在Xcode 4中，这是内置在IDE中。

你可以使用Clang Static Analyzer在Mac OS X 10.5上分析你的C和Objective-C代码(还没有c++)。安装和使用起来很简单:

从本页下载最新版本。 从命令行，cd到您的项目目录。 执行scan-build -k -V xcodebuild。

(还有一些额外的限制等等，特别是你应该在“调试”配置中分析一个项目——详情请参阅http://clang.llvm.org/StaticAnalysisUsage.html——但这或多或少就是它的总结。)

分析器然后为您生成一组网页，显示可能的内存管理和编译器无法检测的其他基本问题。

还有一个半相关的话题(还有更多的回复空间!):

有哪些Xcode的小技巧和技巧是你希望2年前就知道的?

确保您收藏了调试魔术页面。这应该是你在寻找Cocoa bug的源头时碰壁的第一站。

例如，它会告诉你如何找到你第一次分配内存的方法，后来导致崩溃(比如在应用程序终止期间)。

使用NSAssert和朋友。 我一直使用nil作为有效对象…特别是发送消息给nil在Obj-C中是完全有效的。 然而，如果我真的想确定一个变量的状态，我使用NSAssert和NSParameterAssert，这有助于轻松跟踪问题。

黄金法则:如果你分配了，那么你就释放了!

更新:除非你正在使用ARC

声明属性

对于所有属性，您通常应该使用Objective-C 2.0声明属性特性。如果它们不是公共的，将它们添加到类扩展中。使用声明的属性使内存管理语义立即清晰，并使您更容易检查dealloc方法——如果您将属性声明分组在一起，您可以快速扫描它们并与dealloc方法的实现进行比较。

在不将属性标记为“nonatomic”之前，您应该仔细考虑一下。正如《Objective C编程语言指南》所指出的，属性在默认情况下是原子的，并且会产生相当大的开销。此外，简单地将所有属性都设置为原子化并不能使应用程序具有线程安全性。当然，还要注意，如果你没有指定“nonatomic”，并且实现你自己的访问方法(而不是合成它们)，你必须以原子的方式实现它们。