CERT C: Rule FIO39-C

フラッシュまたは位置付け呼び出しの介在なしでのストリームからの入出力を交互実行しない

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

説明

ルール定義

フラッシュまたは位置付け呼び出しの介在なしでのストリームからの入出力を交互実行しないようにします。¹

Polyspace 実装

ルールチェッカーは、"フラッシュまたは位置付け呼び出しなしでのストリームからの入出力の交互実行" をチェックします。

例

すべて展開する

フラッシュまたは位置付け呼び出しなしでのストリームからの入出力の交互実行

問題

フラッシュまたは位置付け呼び出しなしでのストリームからの入出力の交互実行は次の場合に発生します。

更新モードのファイルストリームにおける出力操作とそれに続く入力操作の間でフラッシュまたは関数位置付け呼び出しを実行しない。
更新モードのファイルストリームにおける入力操作とそれに続く出力操作の間で関数位置付け呼び出しを実行しない。

リスク

介在するフラッシュまたは位置付け呼び出しなしでのストリームにおける入出力操作の交互実行は未定義の動作です。

修正方法

更新ストリームにおける入出力操作間で fflush() または fseek() や fsetpos() などのファイル位置付け関数を呼び出します。

更新ストリームにおける入出力操作間でファイル位置付け関数を呼び出します。

例 - 介在するフラッシュなしでの読み取り後の書き込み

#include <stdio.h>
#define SIZE20 20

void initialize_data(char* data, size_t s) {};
const char *temp_filename = "/tmp/demo.txt";

void func()
{
    char data[SIZE20];
    char append_data[SIZE20];
    FILE *file;

    file = fopen(temp_filename, "a+");
    if (file == NULL)
      {
        /* Handle error. */;
      }

    initialize_data(append_data, SIZE20);

    if (fwrite(append_data, 1, SIZE20, file) != SIZE20)
      {
        (void)fclose(file);
        /* Handle error. */;
      }
	/* Read operation after write without 
	intervening flush. */
    if (fread(data, 1, SIZE20, file) < SIZE20)   //Noncompliant
      {
          (void)fclose(file);
          /* Handle error. */;
      }

    if (fclose(file) == EOF)
      {
        /* Handle error. */;
      }
}

この例では、ファイル demo.txt は読み取りおよび追加のために開かれています。fwrite() の呼び出し後に行われる、介在するフラッシュ操作なしでの fread() の呼び出しは未定義の動作です。

修正 — 読み取り操作の前に fflush() を呼び出す

データをファイルに書き込んだ後、fread() を呼び出す前にフラッシュ呼び出しを実行します。

#include <stdio.h>
#define SIZE20 20

void initialize_data(char* data, size_t s) {};
const char *temp_filename = "/tmp/demo.txt";


void func()
{
    char data[SIZE20];
    char append_data[SIZE20];
    FILE *file;

    file = fopen(temp_filename, "a+");
    if (file == NULL)
      {
        /* Handle error. */;
      }

    initialize_data(append_data, SIZE20);

    if (fwrite(append_data, 1, SIZE20, file) != SIZE20)
      {
        (void)fclose(file);
        /* Handle error. */;
      }
	/* Buffer flush after write and before read */
    if (fflush(file) != 0)  
      {
        (void)fclose(file);
        /* Handle error. */;
      }
    if (fread(data, 1, SIZE20, file) < SIZE20)
      {
        (void)fclose(file);
        /* Handle error. */;
      }

    if (fclose(file) == EOF)
      {
        /* Handle error. */;
      }
}

チェック情報

グループ: Rule 09.入出力 (FIO)

バージョン履歴

R2019a で導入

参考

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

トピック

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

外部の Web サイト

FIO39-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.