Exponenta Banner

CERT C: Rec. INT14-C

Постарайтесь не выполнять битовые и арифметические операции на тех же данных

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

Описание

Управляйте определением

Постарайтесь не выполнять битовые и арифметические операции на том же data.[1]

Реализация Polyspace

Это средство проверки проверяет на Битовую и арифметическую операцию на тех же данных.

Примеры

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

Проблема

Битовая и арифметическая операция на тех же данных обнаруживает операторы с битовыми и арифметическими операциями на той же переменной или выражении.

Риск

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

Фиксация

Разделите битовые и арифметические операции или используйте только один тип операции на оператор.

Пример - сдвиг и сложение
unsigned int bitwisearithmix()
{
    unsigned int var = 50;
    var += (var << 2) + 1;
    return var;
}

Этот пример показывает битовые и арифметические операции на переменной varvar смещен два (поразрядные), затем увеличены на 1 и добавил к себе (арифметика).

Коррекция — арифметические операции только

Можно уменьшать это выражение до операций только для арифметики: var + (var << 2) эквивалентно var * 5. 

unsigned int bitwisearithmix()
{
    unsigned int var = 50;
    var = var * 5 +1;
    return var;
}

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

Группа: Rec. 04. Целые числа (INT)

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

Темы

Внешние веб-сайты

Введенный в R2019a

[1]  Это программное обеспечение было создано MathWorks, включающим фрагменты: “Веб-сайт SEI CERT-C”, © 2017 Carnegie Mellon University, веб-сайт SEI CERT-C © 2017 Carnegie Mellon University”, CERT SEI C Кодирование Стандарта – Правил для Разработки безопасных, Надежных и Защищенных систем – 2 016 Выпусков”, © 2016 Carnegie Mellon University, and “CERT SEI Стандарт Кодирования C++ – Правил для Разработки безопасных, Надежных и Защищенных систем на C++ – 2 016 Выпусков” © 2016 Carnegie Mellon University, со специальным разрешением от его Института программной инженерии.

ЛЮБОЙ МАТЕРИАЛ УНИВЕРСИТЕТА КАРНЕГИ-МЕЛЛОН И/ИЛИ ЕГО ИНСТИТУТА ПРОГРАММНОЙ ИНЖЕНЕРИИ СОДЕРЖАЛ, ЗДЕСЬ ПРЕДОСТАВЛЯЕТСЯ НА БАЗИСЕ "ASIS". УНИВЕРСИТЕТ КАРНЕГИ-МЕЛЛОН НЕ ДАЕТ ГАРАНТИЙ НИКАКОГО ВИДА, ИЛИ ОПИСАЛ ИЛИ ПОДРАЗУМЕВАЛ, ОТНОСИТЕЛЬНО ЛЮБОГО ВОПРОСА ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИЛ, ГАРАНТИЯ ПРИГОДНОСТИ ДЛЯ ЦЕЛИ ИЛИ ВЫСОКОГО СПРОСА, ИСКЛЮЧИТЕЛЬНОСТИ, ИЛИ ЗАКАНЧИВАЕТСЯ ПОЛУЧЕННЫЙ ИЗ ИСПОЛЬЗОВАНИЯ МАТЕРИАЛА. УНИВЕРСИТЕТ КАРНЕГИ-МЕЛЛОН НЕ ДАЕТ ГАРАНТИИ НИКАКОГО ВИДА ОТНОСИТЕЛЬНО СВОБОДЫ ОТ ПАТЕНТА, ТОВАРНОГО ЗНАКА ИЛИ НАРУШЕНИЯ АВТОРСКОГО ПРАВА.

Это программное обеспечение и сопоставленная документация не были рассмотрены, ни являются подтвержденным Университетом Карнеги-Меллон или его Институтом программной инженерии.

Документация Polyspace Bug Finder

Поддержка