• 使用Xcode自带的静态分析工具 Product->Analyze(快捷键command+shift+B)可以找出代码潜在错误,如内存泄露,未使用函数和变量等

所谓静态内存分析, 是指在程序没运行的时候, 通过工具对代码直接进行分析
根据代码的上下文的语法结构, 让编译器分析内存情况, 检查是否有内存泄露

Analyze主要分析以下四种问题:

  • 1、逻辑错误:访问空指针或未初始化的变量等;

  • 2、内存管理错误:如内存泄漏等; 比如ARC下,内存管理不包括core foundation

  • 3、声明错误:从未使用过的变量;

  • 4、Api调用错误:未包含使用的库和框架。

    缺点: 静态内存分析由于是编译器根据代码进行的判断, 做出的判断不一定会准确, 因此如果遇到提示, 应该去结合代码上文检查一下

// 面向用户的文本应该使用本地化的字符串宏1.user-facing text should use localized string macro

此为代码中配置了本地化,面向用户的应该用字符串宏,而我们直接赋值为汉字,因此,此提示可以忽略.


2.instance variable used while 'self' is not set to the result of '[(super or self) init...]// 此方法提示错误- (instancetype)initWithType:(FTFFavorateType)type
{    if (self == [super init]) {
        _type = type;
    }    return self;
}

修改为如下

- (instancetype)initWithType:(FTFFavorateType)type{    if (self = [super init]) {
        _type = type;
    }
    return self;
}

// 在初始化过程中存储的“持续时间值”的值永远不会被读取3.Value stored to ‘durationValue’ during its initialization is never read// 此段代码提示错误NSMutableArray *datesArray = [[NSMutableArray alloc] init];
datesArray = [_onDemandDictionary objectForKey:key];

这是因为[NSMutableArray alloc] init]初始化分配了内存,而判断语句里面[_onDemandDictionary objectForKey:key]方法也相当于初始化分配了内存,就是把初始化的一个新的可变数组赋值给之前已经初始化过的可变数组,看似没什么大问题,其实存在一个数据源却申请了两块内存的问题,已经造成了内存泄露。

修改为如下

NSMutableArray *datesArray = nil;datesArray = [_onDemandDictionary objectForKey:key];

Analyze已经分析出p_w_picpathRef对象有内存泄漏,这种情况在编译时是无法发现的。
//截取部分图像

+(UIImage*)getSubImage:(unsigned long)ulUserHeader
{    UIImage * sourceImage = [UIImage p_w_picpathNamed:@"header.png"];    CGFloat height = sourceImage.size.height;    CGRect rect = CGRectMake(0 + ulUserHeader*height, 0, height, height);    CGImageRef p_w_picpathRef = CGImageCreateWithImageInRect([sourceImage CGImage], rect);    UIImage* smallImage = [UIImage p_w_picpathWithCGImage:p_w_picpathRef];    //CGImageRelease(p_w_picpathRef);

    return smallImage;
}

Analyze逻辑错误监测:

Xcode执行Analyze静态分析_xcode

test.png

这种情况在codereview时也较难发现,可以借助Analyze。
如上代码,当Tag不等于1、2和3的时候,就会出现很问题了。
Analyze还给出了箭头提示:len is a garbage value。建议在声明变量时,同时进行初始化。