Exponenta Banner
exponenta event banner

Переполнение преобразования целых чисел

Переполнение при преобразовании между целочисленными типами

развернуть все на странице

Описание

Этот дефект возникает при преобразовании целого числа в меньшее целое число. Если у переменной недостаточно байтов для представления исходного значения, преобразование переполняется.

Точное распределение ресурсов хранения для различных типов с плавающей запятой зависит от процессора. Посмотрите Target processor type (-target).

Риск

Переполнение преобразования целых чисел приводит к неопределенному поведению.

Зафиксировать

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Этот список событий используется для определения того, как переменные в вычислениях переполнения получают свои текущие значения. Исправление может быть реализовано для любого события в последовательности. Если сведения о результатах не отображают историю событий, можно выполнить обратную трассировку, щелкнув правой кнопкой мыши параметры в исходном коде и просмотреть предыдущие связанные события. См. также раздел Интерпретация результатов поиска ошибок в интерфейсе пользователя Polyspace Desktop.

Устранить дефект можно путем:

  • Использование большего типа данных для результата преобразования для согласования всех значений.

  • Проверка значений, которые приводят к переполнению, и выполнение соответствующей обработки ошибок.

В общем случае избегайте преобразований в более мелкие целочисленные типы.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к результату или коду, чтобы избежать другой проверки. См. раздел Результаты анализа пространства адресов с помощью исправлений ошибок или обоснований.

Примеры

развернуть все

char convert(void) {

    int num = 1000000;

    return (char)num;
}

В операторе return целочисленная переменная num преобразуется в char. Однако 8-битный или 16-битный символ не может представлять 1000000, поскольку он требует не менее 20 битов. Поэтому операция преобразования переполняется.

Корректировка - изменение вида преобразования

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

long convert(void) {

    int num = 1000000;

    return (long)num;
}

Информация о результатах

Группа: Числовые
Язык: C | C++
По умолчанию: Вкл.
Синтаксис командной строки: INT_CONV_OVFL
Воздействие: Высокое
CWE ID: 128, 189, 190, 191, 192, 197

См. также

| | |

Темы

Представлен в R2013b

Документация для поиска ошибок Polyspace

Поддержка