使用单例时Xcode静态分析仪的性能(Xcode static analyzer performance when using singletons)

 我无法理解XCode中的静态分析器如何识别涉及单例的可能泄漏。 在下面的代码中，我收到警告，第一行和第一个return语句中可能存在泄漏。 分析器将这些警告放在第二个返回语句中。 由于我在这些行中没有进行分配，我认为它是对单例的访问，以及它可能的分配，这导致了这个警告。 任何人都可以向我解释静态分析仪在这里发生了什么？ 
 
        if ((self.tableView.editing & ([[[[GroupList sharedGroupList] newGroup] linkArray] count] < [[GrazeConstants sharedGrazeConstants] maxLinksPerGroup])) | 
            (([[[[GroupList sharedGroupList] newGroup] linkArray] count] == 0) & !self.tableView.editing)) {
            return ([[[[GroupList sharedGroupList] newGroup] linkArray] count]+1);
        } else {
            return ([[[[GroupList sharedGroupList] newGroup] linkArray] count]);
        }

I'm having trouble understanding how the static analyzer in XCode is identifying possible leaks that involve singletons. In the code below, I get warned that there is a possible leak in the first line, and also in the first return statement. The analyzer places these warnings on the second return statement. Since I'm doing no allocations in these lines, I assume it is the access to the singleton, and its possible allocation, that is causing this warning. Can anyone explain to me what is going on here with the static analyzer? 
 
        if ((self.tableView.editing & ([[[[GroupList sharedGroupList] newGroup] linkArray] count] < [[GrazeConstants sharedGrazeConstants] maxLinksPerGroup])) | 
            (([[[[GroupList sharedGroupList] newGroup] linkArray] count] == 0) & !self.tableView.editing)) {
            return ([[[[GroupList sharedGroupList] newGroup] linkArray] count]+1);
        } else {
            return ([[[[GroupList sharedGroupList] newGroup] linkArray] count]);
        }

原文：https://stackoverflow.com/questions/6713524