このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

CERT C: Rec.ARR01-C

Do not apply the sizeof operator to a pointer when taking the size of an array

説明

ルール定義

配列のサイズを求める際に sizeof 演算子をポインターに適用しないようにします。¹

Polyspace 実装

ルール チェッカーは、"配列での sizeof の使用の可能性" の問題をチェックします。

例

配列での sizeof の使用の可能性

問題

"配列での sizeof の使用の可能性" の問題は、Polyspace^® Bug Finder™ が、配列に対する sizeof 演算子の使用によって予期しない結果になる可能性を検出すると発生します。次に例を示します。

• 配列のサイズを求めるため、sizeof 演算子が配列パラメーター名で使用されている。しかし、配列パラメーター名それ自体がポインターである。sizeof 演算子からは、そのポインターのサイズが返される。

• 配列のサイズを求めるため、sizeof 演算子が配列要素で使用されている。しかし、演算子はその配列要素のサイズを返す。

リスク

sizeof 演算子の不適切な使用は、次の問題の原因となることがあります。

• sizeof 演算子により配列サイズが返され、その戻り値がループの制限に使用されることを想定している場合に、ループの実行回数が想定より少なくなる。

• sizeof 演算子の戻り値がバッファーの割り当てに使用される場合に、バッファー サイズが必要なサイズより小さくなる。バッファーが不十分だと、結果としてバッファー オーバーフローなどの脆弱性などにつながることがあります。

• sizeof 演算子の戻り値が関数呼び出しで不適切に使用される場合に、関数が想定どおりに動作しない。

修正方法

sizeof 演算子を、配列サイズを決定するために配列パラメーター名や配列要素で使用しない。

ベスト プラクティスは、配列サイズを別の関数パラメーターとして渡し、そのパラメーターを関数本体で使用することです。

例 - 配列サイズを決定する際の sizeof の誤使用

#define MAX_SIZE 1024

void func(int a[MAX_SIZE]) {
    int i;

    for (i = 0; i < sizeof(a)/sizeof(int); i++)    { //Noncompliant
        a[i] = i + 1;
    }
}

この例では、sizeof(a) は配列サイズではなくポインター a のサイズを返します。

修正 — 配列サイズを別の方法で決定

1 つの修正方法として、別の方法を使用して配列サイズを決定します配列を操作する関数の場合、ベスト プラクティスは配列サイズを別のパラメーターとして渡すことです。

#include<stddef.h>

void func(int a[], size_t aNumel) {
    int i;

    for (i = 0; i < aNumel; i++)    {
        a[i] = i + 1;
    }
}

チェック情報

グループ: Rec.06.配列 (ARR)

バージョン履歴

R2019a で導入

R2023b: ルールのより厳密な実装

R2023b 以降、Polyspace は "配列での sizeof の使用の可能性" の問題をチェックするようになりました。これまで、Polyspace は、問題 "sizeof において使用された誤った型" および "sizeof を誤って使用している可能性があります" をチェックしていました。

参考

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

トピック

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

外部の Web サイト

• ARR01-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.