JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
C and C++
Binaries

ALLOC.DF : 二重解放

要旨

同じ動的オブジェクトに対して、free を２回呼んでいます。

プロパティ

クラス名 Double Free
日本語クラス名 二重解放
クラス分類 セキュリティ (security)
ニーモニック ALLOC.DF
カテゴリー
MisraC2025 MisraC2025:D.4.1 Run-time failures shall be minimized
MisraC2023 MisraC2023:D.4.1 Run-time failures shall be minimized
Misra2012 Misra2012:D.4.1 Run-time failures shall be minimized
MisraC++2023 MisraC++2023:0.3.2 A function call shall not violate the function's preconditions
  MisraC++2023:15.8.1 User-provided copy assignment and move assignment operators shall handle self-assignment
CWE CWE:415 Double Free
  CWE:763 Release of Invalid Pointer or Reference
TS17961 TS17961:5.22-dblfree Freeing memory multiple times
CERT-C CERT-C:MEM00-C Allocate and free memory in the same module, at the same level of abstraction
  CERT-C:MEM01-C Store a new value in pointers immediately after free()
CERT-CPP CERT-CPP:MEM51-CPP Properly deallocate dynamically allocated resources
  CERT-CPP:OOP54-CPP Gracefully handle self-copy assignment
JSF++ JSF++:81 The assignment operator shall handle self-assignment correctly.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで有効になっています。チェックを無効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += discard class="Double Free"

ワーニングを引き起こす関数

Double Free warnings can be triggered by any function treated as a deallocator by CodeSonar:

例 

#include <stdlib.h>

void double_free(void){
    char *p = malloc(10);
    if (!p){
      return;
    }
    char *q = p;                                /* aliasing is taken into account */
    free(p);
    free(q);  /* 'Double Free' warning issued here */
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

 

To report problems with this documentation, please visit https://support.codesecure.com/.