Exponenta Banner

Shift of a negative value

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

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

Описание

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

Риск

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

Исправление

Фиксация зависит от первопричины дефекта. Часто детали результата (или подсказки исходного кода в Polyspace, когда Вы Кодируете) показывают последовательность событий, которые привели к дефекту. Можно реализовать закрепление на любом событии в последовательности. Если детали результата не показывают эту историю события, можно искать предыдущие ссылки переменных, относящихся к дефектному использованию, щелкают правой кнопкой по опциям по исходному коду и находят связанные события. См. также Интерпретируют Результаты Bug Finder в Пользовательском интерфейсе Рабочего стола 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

Поддержка