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

MISRA C:2012 Rule 22.4

There shall be no attempt to write to a stream which has been opened as read-only

説明

ルール定義

There shall be no attempt to write to a stream which has been opened as read-only ¹ .

根拠

標準では、読み取り専用ストリームへの書き込みが試行された場合の動作は指定されていません。

Polyspace 実装

このルールは Bug Finder 解析でのみチェックできます。

トラブルシューティング

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

例

読み取り専用として開かれたへファイルの書き込み

#include <stdio.h>

void func1(void) {
    FILE *fp1 = fopen("tmp.txt", "r");
    (void) fprintf(fp1, "Some text"); /* Non-compliant: Read-only stream */
    (void) fclose(fp1);
}

void func2(void) {
    FILE *fp2 = fopen("tmp.txt", "r+");
    (void) fprintf(fp2, "Some text"); /* Compliant */
    (void) fclose(fp2);
}

この例では、fp1 に関連付けられたファイル ストリームが読み取り専用として開かれています。ストリームへの書き込みがあると、ルール違反になります。

チェック情報

グループ: Resources

カテゴリ: Mandatory

AGC カテゴリ: Mandatory

バージョン履歴

R2015b で導入

R2025a: 違反の報告対象となる書き込み関数が追加された

Polyspace^® は、次の関数に対してこのルールの違反を報告するようになりました。

• fwprintf(), fwprintf_s(), vfprintf(), vfprintf_s(), vfwprintf(), vfwprintf_s()

• fwrite()

• fputc(), fputwc()

• fputs(), fputws()

• ungetc(), ungetwc()

参考

MISRA C:2012 Rule 21.6 | Writing to read-only resource | 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.