Xcode 的“构建和分析”范围是什么？会发现泄漏应该是有限的吗？

Question

它不关心这一点：

NSString* leaker()
{
 return [[NSString alloc] init];
}

我认为它足够聪明，可以检查是否有任何代码路径可以调用该函数而不释放其返回值（我通常不会以这种方式编码，我只是测试分析器）。

它将此报告为泄漏：

NSString* leaker()
{
 NSString* s = [[NSString alloc] init];
 [s retain];
 return s;
}

但不是这个：

NSString* leaker()
{
 NSString* s = [[NSString alloc] init];
// [s retain];
 return s;
}

这对我来说似乎特别弱。是不是只在本地范围内进行分析？如果该工具无法识别出这样的事情，我怎么能指望它识别出我可能犯的实际错误呢？

Answer 1

clang 不执行任何过程间分析，至少现在还没有。即使确实如此，它也不一定能捕获这个“错误”——潜在代码路径的排列往往会呈超指数增长，这使得它实际上是不可能的。

clang 使用一组“大多数时候”有效的启发式方法。值得庆幸的是，Cocoa 内存管理规则往往相当统一，因此启发式方法适用于大多数用途。您给出的具体示例并未真正涵盖内存管理规则，但我认为大多数人（包括我自己）倾向于将您的示例分类为“您已通过 API 记录了 leaker() 负责释放返回的对象”。这本质上类似于 - (NSString *)init... 风格的方法。

clang 知道以 init... 开头的方法返回一个“未释放”的对象，调用者有责任确保它被正确释放。这构成了启发式核心的一部分 - 它不需要整个程序或过程间分析来进行大量引用计数检查 - 如果本地代码块通过 init...< /code> 方法，该本地代码块需要确保它被正确释放。当然，如果本地代码块和相关对象是 init... 方法本身的一部分，则它被相同的“规则”覆盖，因此它会出现异常。

您可能想要的是这样的：

NSString* leaker() __attribute__((ns_returns_retained))
{
 return [[NSString alloc] init];
}

这让分析器知道 Leaker() 返回一个“保留”对象，调用者负责正确释放它。虽然我还没有测试过这一点，但我强烈怀疑会在调用leaker()时检测到“泄漏”，即：

void test(void)
{
  NSString *leaked = leaker();
  // Previous line should be caught as a "leak" by clang.
}

这是 any 的不幸限制之一静态分析器，而不仅仅是clang。