MISRA C:2012 Rule 19.1

An object shall not be assigned or copied to an overlapping object

説明

ルール定義

An object shall not be assigned or copied to an overlapping object ¹ .

根拠

オブジェクトをメモリがオーバーラップしている別のオブジェクトにコピーする場合、動作は未定義です。例外は次のとおりです。

• あるオブジェクトを、メモリが厳密にオーバーラップしており、かつ互換性のある型の別のオブジェクトに代入する。

• memmove を使用して、あるオブジェクトを別のオブジェクトにコピーする。

レポート内の追加のメッセージ

• An object shall not be assigned or copied to an overlapping object.

• Destination and source of XX overlap, the behavior is undefined.

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

共用体メンバーの代入

void func (void) {
    union {
        short i;
        int j;
    } a = {0}, b = {1};
    
    a.j = a.i;   /* Non-compliant */
    a = b;       /* Compliant */
}

この例では、a.i が a.j に代入される場合、ルールに違反します。2 つの変数にオーバーラップしているメモリ領域があるためです。

配列セグメントの代入

#include <string.h>

int arr[10];

void func(void) {
    memcpy (&arr[5], &arr[4], 2u * sizeof(arr[0]));    /* Non-compliant */
    memcpy (&arr[5], &arr[4], sizeof(arr[0]));         /* Compliant */
    memcpy (&arr[1], &arr[4], 2u * sizeof(arr[0]));    /* Compliant */
}

この例では、sizeof(arr[0]) の 2 倍に等しいメモリは 2 つの配列要素に占められるメモリ領域になります。メモリ領域が &a[4] および &a[5] から開始する場合、2 つのメモリ領域はオーバーラップします。関数 memcpy がこれら 2 つのオーバーラップするメモリ領域の内容をコピーするのに使用される場合、ルールに違反します。

同じ集約オブジェクトのメンバー間の代入

typedef struct
{
    char init_string[21];
    char new_string[101];
} string_aggr;


string_aggr my_string_aggr;

void copy()
{
    strncpy(&my_string_aggr.new_string[0], /* Non-compliant */
            &my_string_aggr.init_string[0], 100U);  
}

この例では、集合構造体 my_string_aggr のメンバー init_string は 21 文字で構成されています。ただし、このメンバーの文字数が 21 文字を超える場合、余分な文字は隣接メンバー new_string にコピーされ、オーバーラップするコピーが生じます。

チェック情報

グループ: 重複ストレージ

カテゴリ: Mandatory

AGC カテゴリ: Mandatory

バージョン履歴

R2014b で導入

R2023a: 集約型の隣接メンバーの間でオーバーラップするコピーが検出される

集約型のオブジェクトのメンバーが隣接メンバーにコピーされ、コピーされるバイト数がソースとコピー先の間でオーバーラップする結果となる場合、ルール チェッカーはこのルールの違反を報告します。

たとえば、次の例では、集約構造体 my_string_aggr のメンバー init_string は 21 文字で構成されています。ただし、このメンバーの文字数が 21 文字を超える場合、余分な文字は隣接メンバー new_string にコピーされ、オーバーラップするコピーが生じます。

typedef struct {
  char init_string[21];
  char new_string[101];
} string_aggr;


string_aggr my_string_aggr;

void copy() {
    strncpy(&my_string_aggr.new_string[0],         
            &my_string_aggr.init_string[0], 100U);   /* Non-compliant */
}

参考

MISRA C:2012 Rule 19.2 | MISRA C:2012 のチェック (-misra3)

トピック

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

---

¹ All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace^® Bug Finder™ documentation are from the following MISRA standards:

• MISRA C:2004

• MISRA C:2012

• MISRA C:2023

• MISRA C++:2008

• MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.