このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
リソース管理の欠陥
リソースの処理に関連する欠陥 (閉じられていないファイル ストリームや閉じられたファイル ストリームの使用など)
これらの欠陥はファイル処理に関連しています。欠陥には次のものがあります。
ファイル ストリームが閉じない
ファイル ストリームが閉じた後に操作される
Polyspace 結果
以前に閉じられたリソースを閉じています | 以前に閉じられたストリームを関数が閉じる |
以前に開いたリソースを開く | 既に開いているファイルを開く |
リソース リーク | FILE ポインターのスコープが終了したか、ポインターが再度割り当てられていないと、ファイル ストリームは閉じない |
以前に閉じられたリソースを使用しています | 関数が、以前に閉じられたストリームで動作 |
読み取り専用リソースに書き込んでいます | 最初から読み取り専用として開かれたファイルが変更される |
トピック
- Bug Finder 欠陥グループ
Bug Finder の欠陥チェッカーは、データ フロー、同時実行、数値などのグループに分類されています。