第2回 MISRA-C ～必要ルールの逸脱手順～

公開日：2022.04.08　更新日：2022.04.08

こんにちは、TMIHです。

前回に続き、MISRA-Cの必要ルールに準拠したプログラムと必要ルールから逸脱したプログラム、逸脱手順を紹介します。

必要ルールに準拠したプログラム

まずは、MISRA-C:2004の中から必要ルールに準拠したサンプルプログラムを紹介したいと思います。

ルールNo.	10.6
カテゴリー	必要
内容	すべての符号なし型の定数には、接尾語”U”を付けなければならない。
詳細	ルール10.6は、C言語における数値定数を明確にするためのルールである。接尾語なしの定数を記述した場合、int型で表現できる範囲内であれば無条件にint型として扱われる。また、内部のビット表現が同じでも、10進数で記述する場合と、16進数で記述する場合で、その型が異なる場合がある。この結果、プログラマが意図しない結果を招く可能性がある。

●サンプルプログラム

7～10行目の処理では定数に接尾語”U”が付いているため、定数値が明示的にunsigned int型となり、意図した結果が得られます。
仮に9行目の定数に接尾語”U”が付いていないと、定数値がsigned int型となり、演算途中でオーバーフローが発生する可能性があります。

void func(void)
{
    unsigned int work;

    work = 6U;

    work = work + 5U;
    work = work - 1U;
    work = work * 10000U;
    work = work / 2U;
}

必要ルールから逸脱したプログラム

次に、MISRA-C:2004の必要ルールから逸脱したサンプルプログラムと逸脱手順を紹介したいと思います。

ルールNo.	8.7
カテゴリー	必要
内容	オブジェクトが単一の関数内だけでアクセスされている場合は、そのオブジェクトをブロックスコープで定義しなければならない。
詳細	ルール8.7は、オブジェクトの有効範囲を明示的に限定することにより、可読性及び保守性をよくすることを目的としている。あるオブジェクトが1つの関数のみで使用される場合、オブジェクトの有効範囲がその関数内のみに限定されるように定義する。不必要に広い範囲でオブジェクトを定義すると、可読性や保守性が悪くなり、オブジェクトに対する意図しない参照や変更をしてしまう可能性がある。

●サンプルプログラム

3行目で定義したオブジェクトは、単一の関数でしかアクセスしませんが、ファイルスコープで定義しているため、ルール8.7から逸脱していることになります。

//#define TYPE1

int tmp;

void func1(void);
static void func2(void);

void func1(void)
{
    if(tmp < 10)
    {
        tmp++;
    }

    func2();
}

static void func2(void)
{
#ifdef TYPE1
    if(tmp >= 5 )
    {
        …
    }
#endif

    …
}

●逸脱手順

準拠させるためにはブロックスコープに変更する必要がありますが、他の目的のため(例えばソフト流用)により、ファイルスコープを余儀なくされた場合は逸脱の手順が必要となります。

逸脱する場合、必要性と安全性確保について逸脱説明書による説明が必要になります。
また、プロジェクト全体で逸脱とするか、特定箇所のみ逸脱とするかで逸脱説明書に記載する内容が異なります。
逸脱説明書には以下の内容が盛り込まれていなければなりません。

項目	プロジェクト全体の逸脱	特定箇所の逸脱
逸脱するルールの概要とコードの詳細	〇	〇
逸脱の必要性が発生する状況(環境内容)	〇	×
逸脱に起因すると考えられる潜在的な問題	〇	〇
逸脱の正当な理由	〇	〇
潜在的な問題に講じた対策が、どのように安全性を保証するかの証明	〇	〇
		〇：必要、×：不要