明显的泄漏，但c静态分析器未检测到，为什么？

Question

I wrote some code like this,

- (NSString*) caleSignParam:(NSMutableArray*)postData
{
    NSMutableArray* keyArray = [[NSMutableArray alloc] initWithCapacity:50];

    ......
    NSArray* sortedKeys = [keyArray sortedArrayUsingComparator:
                       (NSComparator)^(NSString *obj1, NSString *obj2) {
                           return [obj1 compare:obj2 options:NSLiteralSearch];
                       }];
    ......


    NSString* signStr = aString;

    return signStr;
}

I forgot to release keyArray, and using non-ARC, but when I click "Analyze" on the menu of Xcode, it didnot detect the leak of keyArray.

If I comment the line of "NSArray *sortedKeys = ...", It can detect the leak of keyArray.

I wonder what's wrong with static analyzer.

I really appreciate your help.

Answer 1

It's important to understand that static analyzer is not always correct, nor it is always incorrect. It can throw false positives and false negatives. However default settings make it so that chances of false positive are minimal. In this particular case I would guess that analyzer did not have enough data to make a definite decision of what happens with keyArray