CERT C: Rule FIO46-C

Do not access a closed file

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

説明

ルール定義

閉じられたファイルにアクセスしないようにします。¹

Polyspace 実装

ルールチェッカーは、"以前に閉じられたリソースを使用しています" をチェックします。

例

すべて展開する

以前に閉じられたリソースを使用しています

問題

以前に閉じられたリソースを使用していますは、コード内で先に閉じられていたストリームで関数が動作する場合に発生します。

リスク

標準では、FILE* ポインターの値は、それに関連付けられたストリームが閉じられた後に不確定となります。FILE* ポインターを使用する操作により、想定外の結果につながることがあります。

修正方法

1 つの修正方法として、ストリームを操作の終了時にのみ閉じます。別の修正方法として、ストリームを再使用する前に再び開きます。

例 - ストリームを閉じた後に FILE* ポインターを使用

#include <stdio.h>

void func(void) {
    FILE *fp;
    void *ptr;

    fp = fopen("tmp","w");
    if(fp != NULL) {
        fclose(fp);
        fprintf(fp,"text"); //Noncompliant
    }
}

この例では、fp に関連付けられているストリームを fclose で閉じています。fp に対し fprintf を fclose の後に使用すると、[以前に閉じられたリソースを使用しています] の欠陥が発生します。

修正 — すべての操作の後にストリームを閉じる

1 つの修正方法として、fprintf と fclose の操作の順序を逆にします。

#include <stdio.h>

void func(void) {
    FILE *fp;
    void *ptr;

    fp = fopen("tmp","w");
    if(fp != NULL) {
        fprintf(fp,"text");
        fclose(fp);
    }
}

チェック情報

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

バージョン履歴

R2019a で導入

参考

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

トピック

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

外部の Web サイト

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