objective-c - Clang 静态分析器警告 "Null pointer argument in call to CFRelease"

Question

在 Xcode 4.6 中，clang 静态分析器警告我“调用 CFRelease 时出现空指针参数”。

这是分析器警告的屏幕截图:

下面是代码，以防您想复制和粘贴它:

- (void)test
{
    CFUUIDRef aUUID = CFUUIDCreate(kCFAllocatorDefault);
    [self setUUID:aUUID];
    CFRelease(aUUID);
}

- (void)setUUID:(CFUUIDRef)uuid
{
    _uuid = uuid ? CFRetain(uuid) : CFUUIDCreate(kCFAllocatorDefault);
}

我不明白为什么它会警告我。 aUUID 永远不能是空指针，对吗？我已经学会了宁可不相信自己，也不愿相信我正在使用的工具，所以我在这里问。如果有人向我解释我所缺少的，我将非常高兴。

Answer 1

理论上，任何返回分配值的对象都可以返回 NULL。

分析器遵循多个可能的执行路径。在遵循“aUUID 为 NULL”的情况下，它最终以 NULL 对象的 CFRelease 结束。

setUUID 不是原因，这只是发现问题的路径，所以这就是说明的路径。