RH.LEAK

リソース リーク

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

脆弱性とリスク

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

脆弱コード例

コピー 
  #include <stdio.h>
   int foo (const char *name) {
      FILE *f = fopen(name, "r");
       //...//
      if (some_error) return 1;
       //...//
      fclose(f);
      return 0;
  }

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

セキュリティトレーニング

Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。

外部参考資料