Недопустимое свободное от указателя

Отмена выделения указателя без соответствующего динамического выделения

Описание

Этот дефект возникает, когда блок памяти освобождается с помощью free функция не была ранее назначена с помощью malloc, calloc, или realloc.

Риск

free освобождает блок памяти, выделенный в куче. При попытке доступа к расположению в куче, которое ранее не выделялось, может возникнуть ошибка сегментации.

Проблема может выделить ошибки кодирования. Например, вы, возможно, хотели использовать free функцию или предыдущую malloc на другом указателе.

Зафиксировать

В большинстве случаев проблему можно устранить, удалив free заявление. Если указатель не выделен памяти из кучи с malloc или calloc, не нужно освобождать указатель. При необходимости можно просто повторно использовать указатель.

Если проблема подчеркивает ошибку кодирования, такую как использование free или malloc не на том указателе, исправьте ошибку.

Если проблема возникает из-за использования free для освобождения памяти, выделенной с помощью new оператор, замените free функции с помощью delete оператор.

Примеры

развернуть все

Недопустимая ошибка без указателя

#include <stdlib.h>

void Assign_Ones(void) 
{
  int p[10];
  for(int i=0;i<10;i++)
     *(p+i)=1; 
 
  free(p);   
  /* Defect: p does not point to dynamically allocated memory */
}

Указатель p освобождается с помощью free функция. Однако p указывает на папку памяти, которая не была динамически выделена.

Исправление - Удаление удаления указателя

Если количество элементов массива p известен во время компиляции, одной из возможных корректировок является удаление отмены выделения указателя p.

#include <stdlib.h>

void Assign_Ones(void)
 {
  int p[10];
  for(int i=0;i<10;i++)
     *(p+i)=1;   
  /* Fix: Remove deallocation of p */
 }

Исправление - Введение назначения указателя

Если количество элементов массива p неизвестно во время компиляции, одной из возможных корректировок является динамическое выделение памяти массиву p.

#include <stdlib.h>

void Assign_Ones(int num) 
{
  int *p;
  /* Fix: Allocate memory dynamically to p */
  p=(int*) calloc(10,sizeof(int)); 
  for(int i=0;i<10;i++)
     *(p+i)=1; 
  free(p); 
}

Информация о результатах

Группа: Динамическая память

Язык: C | C++

По умолчанию: Вкл.

Синтаксис командной строки: BAD_FREE

Воздействие: Высокое

CWE ID: 404, 590, 762

См. также

Find defects (-checkers) | Invalid deletion of pointer

Темы

Представлен в R2013b

Документация