Потенциальная нулевая разыменование - PullRequest
Новая
       9

Потенциальная нулевая разыменование

2 голосов
/ 15 декабря 2010

Я использую анализатор json с открытым исходным кодом, но при его компиляции я получаю предупреждения о разыменовании.

MyProject / Classes / SBJSON.m: 403: 13 Потенциальная нулевая разыменование. В соответствии со стандартами кодирования в «Создание и возврат объектов NSError» параметр «error» может быть нулевым 

- (BOOL)scanValue:(NSObject **)o error:(NSError **)error
{
skipWhitespace(c);

switch (*c++) {
    case '{':
        return [self scanRestOfDictionary:(NSMutableDictionary **)o error:error];
        break;
    case '[':
        return [self scanRestOfArray:(NSMutableArray **)o error:error];
        break;
    case '"':
        return [self scanRestOfString:(NSMutableString **)o error:error];
        break;
    case 'f':
        return [self scanRestOfFalse:(NSNumber **)o error:error];
        break;
    case 't':
        return [self scanRestOfTrue:(NSNumber **)o error:error];
        break;
    case 'n':
        return [self scanRestOfNull:(NSNull **)o error:error];
        break;
    case '-':
    case '0'...'9':
        c--; // cannot verify number correctly without the first character
        return [self scanNumber:(NSNumber **)o error:error];
        break;
    case '+':
        *error = err(EPARSENUM, @"Leading + disallowed in number");
        return NO;
        break;
    case 0x0:
        *error = err(EEOF, @"Unexpected end of string");
        return NO;
        break;
    default:
        *error = err(EPARSE, @"Unrecognised leading character");
        return NO;
        break;
}

NSAssert(0, @"Should never get here");
return NO;
}

здесь показано разыменование при ошибке.

1 Ответ

5 голосов
/ 15 декабря 2010

Он жалуется, что параметр ошибки может быть НЕДЕЙСТВИТЕЛЕН (в случае, если вызывающая сторона решит передать НЕДЕЙСТВИТЕЛЬНЫЙ). Тогда утверждение 

*error = err(EPARSENUM, @"Leading + disallowed in number");

вылетит. R отредактированный обходной путь должен поместить оператор if вокруг назначения: 

if(error){
    *error = err(EPARSENUM, @"Leading + disallowed in number");
}
...