Exponenta Banner

Сдвиг отрицательной величины

Оператор сдвига на отрицательной величине

расширьте все на странице

Описание

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

Риск

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

Фиксация

Фиксация зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Используйте этот список событий, чтобы определить, как переключаемая переменная получает отрицательные величины. Можно реализовать закрепление на любом событии в последовательности. Если детали результата не показывают историю события, можно проследить использование, щелкните правой кнопкой по опциям по исходному коду и смотрите предыдущие связанные события. См. также Интерпретируют Результаты Polyspace Bug Finder.

Чтобы зафиксировать дефект, проверяйте на отрицательные величины перед поразрядной операцией сдвига и выполните соответствующую обработку ошибок.

Смотрите примеры мер ниже.

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

Примеры

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

int shifting(int val)
{
    int res = -1;
    return res << val;
}

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

Исправление — изменяет тип данных

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

int shifting(int val)
{
    unsigned int res = -1;
    return res << val;
}

Проверяйте информацию

Группа: числовой
Язык: C | C++
Значение по умолчанию: 'off'
Синтаксис командной строки: SHIFT_NEG
Влияние: низко
ID CWE: 189

Смотрите также

|

Темы

Введенный в R2013b

Документация Polyspace Bug Finder
Поддержка