непроверенные целое значение принимается от «atoi»

Question

Для следующего кода, передает Klocwork непроверенные целое значение «Val» принимается от «atoi» и может быть использован, чтобы получить доступ к массиву

int main(int argc, char **argv) 
{ 
    int i = 0; 
    int val = 0; 
    for (i = 0; i < argc; i++) 
    { 
     if (argv[i]) 
     { 
      val = atoi(argv[i]); 
      ...... 
      ...... 
     } 
    } 
    return 0; 
} 

У меня нет ключ к решению этой проблемы. Если argv [i] не является числом, то atoi вернет 0. Что здесь ожидает klocwork?

Answer 1

Ну, первый очевидный совет здесь: прекратите использование atoi. atoi предназначен для эскизов, а не для реального кода. atoi не имеет механизмов сбоя обратной связи и создает неопределенное поведение при переполнении. Функции от ato... группы были полу-официально заброшены на C95. С этого момента они просто помечаются только для обратной совместимости. Я понятия не имею, почему они до сих пор официально не устарели.

Вы хотите преобразовать строку в целое число - используйте strtol и не забудьте проверить наличие ошибок, проанализировав errono и/или возвращаемое значение. И, как уже было предложено, если вы используете результирующее значение как индекс массива, это хорошая идея (и для ценности, исходящей из внешнего мира - это обязательно), чтобы убедиться, что индекс находится в правильный диапазон.

Answer 2

Это предупреждение о том, что вы используете испорченное значение для доступа к массиву позже в своем коде. Посмотрите здесь, как это исправить.

https://developer.klocwork.com/documentation/en/insight/10-1/sv-tainted-call-indexaccess

Любой вклад, который вы получаете должно быть подтверждено каким-то образом перед использованием.

Answer 3

atoi это определяют как:

int atoi (const char *nPtr)     /*convert the string nPtr to int*/ 

Вы должны иметь в виду, что если преобразованное значение не может быть представлено в междунар. atoi Поведение функции будет undefinned (используйте его с предосторожностью).

Обновлено

Если преобразованное значение выпадает из диапазона соответствующего возвращаемого типа, возвращаемое значение не определено. Если преобразование не может быть выполнено, возвращается 0.