EN JP CN

RH.LEAK

RH.LEAK

リソース リーク

RH.LEAK チェッカーは、以前に獲得したが解放していないリソースに関連するすべての記述子が失われるインスタンスを検出します。

脆弱性とリスク

リソースが制限される状況があります。 リソースが適切に解放されない場合は、次のアクセスのときにそのリソースを使用できません。

脆弱コード例

1  #include <stdio.h>
 
2  int foo (const char *name) {
3      FILE *f = fopen(name, "r");
4       //...//
5      if (some_error) return 1;
6       //...//
7      fclose(f);
8      return 0;
9  }

Klocwork リソースが失われる可能性のあることを示すコードの 5 行目にフラグを立てます。