C and C++ Binaries


ALLOC.FNP : NULLポインタ解放

要旨

NULLポインタを解放しようとしています。

プロパティ

クラス名 Free Null Pointer
日本語クラス名 NULLポインタ解放
クラス分類 冗長性 (redundancy)
ニーモニック ALLOC.FNP
カテゴリー
MisraC2023 MisraC2023:D.4.1 Run-time failures shall be minimized
Misra2012 Misra2012:D.4.1 Run-time failures shall be minimized
CWE CWE:590 Free of Memory not on the Heap
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで有効になっています。チェックを無効にするにはプロジェクト設定ファイル (configuration file)に以下の WARNING_FILTER ルールを追加してください。
WARNING_FILTER += discard class="Free Null Pointer"

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

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

#include <stdlib.h>

void free_null_pointer(char *p, char *q){
    free((void*)0);   /* 'Free Null Pointer' warning issued here */
    free(malloc(10)); /* 'Free Null Pointer' warning issued here:
                       * malloc() may return NULL if system runs out of memory
                       */
}

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

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