从终端进行 iPhone 静态代码分析未能找到丢失的 ivar 版本

Question

我有一个在终端中运行的脚本，该脚本在我的 iPhone 应用程序上运行扫描构建代码分析器来检查问题。我只是偶然注意到，至少有一个实例没有找到未在 dealloc 方法中释放的 IBOutlet ivar。

以下是我从终端运行的命令的内容：

#!/bin/sh
cd /Developer/svn/MyCompany/iPhone/MyApplication
scan-build -analyzer-check-dead-stores -analyzer-check-llvm-conventions -analyzer-check-objc-mem -analyzer-check-objc-methodsigs -analyzer-check-objc-missing-dealloc -analyzer-check-objc-unused-ivars -analyzer-check-security-syntactic --experimental-checks -k -V -o scan-reports xcodebuild -configuration Debug -sdk iphonesimulator4.2 clean build

我已更新到 checker 的最新版本，因此不可能有较新版本的 checker。以下是我的类的 .h 文件的相关部分：

@interface LoginWizardUsernameViewController : UIViewController <UITextFieldDelegate, GetUserExistsDidFinish> {

 IBOutlet UITextField *username;
 IBOutlet UIActivityIndicatorView *activityIndicatorView;

}

@property (nonatomic, retain) UITextField *username;
@property (nonatomic, retain) UIActivityIndicatorView *activityIndicatorView;

以下是 .m 文件的相关部分：

// lots o' code omitted here

@implementation LoginWizardUsernameViewController

@synthesize username;
@synthesize activityIndicatorView;

- (void)dealloc 
{
    [super dealloc];
}

正如您所看到的，这两个 IBOutlet 项没有被释放，但即使它们被列为保留在属性定义，检查器由于某种原因没有看到这一点。奇怪的是，我可以转到其他类的 .m 文件，并在 dealloc 方法中注释掉某个版本，并且 scan-build 在问题扫描结束时愉快地提醒我。我只是无法弄清楚这种特殊情况有什么不同。

Answer 1

这是 Clang 静态分析器中的一个 bug，由尝试修复不同的问题。

基于源代码，Clang静态分析器将跳过-dealloc 检查任何包含 only 非指针 ivars 或 IBOutlet ivars 的类：

104   // Does the class contain any ivars that are pointers (or id<...>)?
105   // If not, skip the check entirely.
106   // NOTE: This is motivated by PR 2517:
107   //        http://llvm.org/bugs/show_bug.cgi?id=2517
108 
109  bool containsPointerIvar = false;
110  
111  for (ObjCInterfaceDecl::ivar_iterator I=ID->ivar_begin(), E=ID->ivar_end();
112       I!=E; ++I) {
113 
114    ObjCIvarDecl* ID = *I;
115    QualType T = ID->getType();
116 
117    if (!T->isObjCObjectPointerType() ||
118        ID->getAttr<IBOutletAttr>() || // Skip IBOutlets.
119        ID->getAttr<IBOutletCollectionAttr>()) // Skip IBOutletCollections.
120      continue;
121 
122    containsPointerIvar = true;
123    break;
124  }
125 
126  if (!containsPointerIvar)
127    return;

我怀疑如果您只需向类添加非 IBOutlet 属性，它就能正常工作。