CERT C: Rec.INT14-C

同じデータに対してビット演算と算術演算の実行を避ける

このページをすべて展開する

説明

ルール定義

同じデータに対してビット演算と算術演算の実行を避けます。¹

Polyspace 実装

ルールチェッカーは、"同じデータに対してビット演算と算術演算が行われています" をチェックします。

例

すべて展開する

同じデータに対してビット演算と算術演算が行われています

問題

同じデータに対してビット演算と算術演算が行われていますでは、同じ変数または式でビット演算と算術演算を行っているステートメントが検出されます。

リスク

ビット演算と算術演算が混在していても、コンパイルは "行われます"。ただし、このような混在した演算の結果には整数型のサイズが影響します。また、混在した演算は可読性と保守性も低下させます。

修正方法

ビット演算と算術演算を分離するか、各ステートメントにつき 1 種類の演算のみを使用します。

例 - シフトと加算

unsigned int bitwisearithmix()
{
    unsigned int var = 50;
    var += (var << 2) + 1; //Noncompliant
    return var;
}

この例では、変数 var にビット演算と算術演算が行われています。var は 2 (ビット) シフトされ、それ自体に 1 が加算 (算術演算) されます。

修正 - 算術演算に限定

この式を算術演算のみに削減できます。var + (var << 2) は var * 5 と等価です。

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

チェック情報

グループ: Rec.04.整数 (INT)

バージョン履歴

R2019a で導入

参考

SEI CERT-C をチェック (-cert-c)

トピック

コーディング規約違反のチェックおよびレビュー

外部の Web サイト

INT14-C

¹ This software has been created by MathWorks incorporating portions of: the “SEI CERT-C Website,” © 2017 Carnegie Mellon University, the SEI CERT-C++ Web site © 2017 Carnegie Mellon University, ”SEI CERT C Coding Standard – Rules for Developing safe, Reliable and Secure systems – 2016 Edition,” © 2016 Carnegie Mellon University, and “SEI CERT C++ Coding Standard – Rules for Developing safe, Reliable and Secure systems in C++ – 2016 Edition” © 2016 Carnegie Mellon University, with special permission from its Software Engineering Institute.

ANY MATERIAL OF CARNEGIE MELLON UNIVERSITY AND/OR ITS SOFTWARE ENGINEERING INSTITUTE CONTAINED HEREIN IS FURNISHED ON AN "AS-IS" BASIS. CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT INFRINGEMENT.

This software and associated documentation has not been reviewed nor is it endorsed by Carnegie Mellon University or its Software Engineering Institute.