C and C++ Binaries


ALLOC.FNP : Free Null Pointer

Summary

An attempt to free a null pointer.

Properties

Class Name Free Null Pointer
Significance redundancy
Mnemonic ALLOC.FNP
Categories
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
Availability Available for C and C++.
Enabling Checks for this warning class are enabled by default. To disable them, add the following WARNING_FILTER rule to the project configuration file.
WARNING_FILTER += discard class="Free Null Pointer"

Triggering Functions

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

Example

#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
                       */
}

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.