CERT C: Rule WIN30-C

Правильно соедините функции выделения и деаллокации

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

Описание

Определение правила

Правильно соедините функции выделения и деаллокации.^[1]

Реализация Polyspace

Эта проверка проверяет несоответствие функций alloc/dealloc в Windows.

Примеры

расширить все

Несоответствующие функции alloc/dealloc в Windows

Проблема

Несоответствующие функции alloc/dealloc в Windows возникают, когда вы используете Windows^® функция удаления, которая неправильно соединена с соответствующей функцией выделения.

Риск

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

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

Правильно соедините функции выделения и отмены назначения в соответствии с функциями, перечисленными в этой таблице.

Функция распределения	Функция деаллокации
`malloc()`	`free()`
`realloc()`	`free()`
`calloc()`	`free()`
`_aligned_malloc()`	`_aligned_free()`
`_aligned_offset_malloc()`	`_aligned_free()`
`_aligned_realloc()`	`_aligned_free()`
`_aligned_offset_realloc()`	`_aligned_free()`
`_aligned_recalloc()`	`_aligned_free()`
`_aligned_offset_recalloc()`	`_aligned_free()`
`_malloca()`	`_freea()`
`LocalAlloc()`	`LocalFree()`
`LocalReAlloc()`	`LocalFree()`
`GlobalAlloc()`	`GlobalFree()`
`GlobalReAlloc()`	`GlobalFree()`
`VirtualAlloc()`	`VirtualFree()`
`VirtualAllocEx()`	`VirtualFreeEx()`
`VirtualAllocExNuma()`	`VirtualFreeEx()`
`HeapAlloc()`	`HeapFree()`
`HeapReAlloc()`	`HeapFree()`

Пример - Память, отключенная с неправильной функцией

#ifdef _WIN32_
#include <windows.h>
#else
#define _WIN32_
typedef void *HANDLE;
typedef HANDLE HGLOBAL;
typedef HANDLE HLOCAL;
typedef unsigned int UINT;
extern HLOCAL LocalAlloc(UINT uFlags, UINT uBytes);
extern HLOCAL LocalFree(HLOCAL hMem);
extern HGLOBAL GlobalFree(HGLOBAL hMem);
#endif

#define SIZE9 9


void func(void)
{
	/* Memory allocation */
    HLOCAL p = LocalAlloc(0x0000, SIZE9);
	
    if (p) {
		/* Memory deallocation. */
        GlobalFree(p);
		
    }
}

В этом примере память выделяется с LocallAlloc(). Затем программа ошибочно использует GlobalFree() для удаления памяти.

Коррекция - правильная пара функций выделения и удаления окон

Когда вы выделяете память с LocalAllocate(), использовать LocalFree() для удаления памяти.

#ifdef _WIN32_
#include <windows.h>
#else
#define _WIN32_
typedef void *HANDLE;
typedef HANDLE HGLOBAL;
typedef HANDLE HLOCAL;
typedef unsigned int UINT;
extern HLOCAL LocalAlloc(UINT uFlags, UINT uBytes);
extern HLOCAL LocalFree(HLOCAL hMem);
extern HGLOBAL GlobalFree(HGLOBAL hMem);
#endif

#define SIZE9 9
void func(void)
{
	/* Memory allocation */
    HLOCAL p = LocalAlloc(0x0000, SIZE9);
    if (p) {
		/* Memory deallocation. */
        LocalFree(p);  
    }
}

Проверяйте информацию

Группа: Правило 51. Microsoft Windows (WIN)

См. также

Check SEI CERT-C (-cert-c)

Темы

Проверяйте на нарушения стандарта кодирования

Внешние веб-сайты

WIN30-C

Введенный в R2019a

^[1] Это программное обеспечение было создано MathWorks, включающее фрагменты: «Сайт SEI CERT-C», © 2017 Университет Карнеги Меллон, Веб-сайт SEI CERT-C + + © 2017 Университет Карнеги Меллон, "Стандарт кодирования SEI CERT C - Правила разработки безопасных, Надежные и безопасные системы - 2016 Edition ", © 2016 Университет Карнеги Меллон, и "Стандарт кодирования SEI CERT C++ - Правила разработки безопасных, Надежные и безопасные системы в C++ - 2016 Edition "© 2016 Университет Карнеги Меллон, с специального разрешения от его Института программной инженерии.

ЛЮБОЙ МАТЕРИАЛ УНИВЕРСИТЕТА КАРНЕГИ МЕЛЛОН И/ИЛИ ЕГО ИНЖЕНЕРНОГО ИНСТИТУТА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, СОДЕРЖАЩИЙСЯ В НАСТОЯЩЕМ ДОКУМЕНТЕ, ПОСТАВЛЯЕТСЯ НА БАЗИСЕ «КАК ЕСТЬ». УНИВЕРСИТЕТ КАРНЕГИ МЕЛЛОН НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ, ВЫРАЖЕННЫХ ИЛИ ПОДРАЗУМЕВАЕМЫХ, В ОТНОШЕНИИ ЛЮБОГО ВОПРОСА, ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИВАЯСЬ, ГАРАНТИЮ ПРИГОДНОСТИ ДЛЯ ЦЕЛЕЙ ИЛИ КОММЕРЧЕСКОЙ ВЫГОДЫ, ИСКЛЮЧИТЕЛЬНОСТИ, ИЛИ УНИВЕРСИТЕТ КАРНЕГИ МЕЛЛОН НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ В ОТНОШЕНИИ СВОБОДЫ ОТ ПАТЕНТА, ТОВАРНОГО ЗНАКА ИЛИ НАРУШЕНИЯ АВТОРСКИХ ПРАВ.

Это программное обеспечение и связанная с ним документация не были рассмотрены и не одобрены Университетом Карнеги-Меллон или его Институтом программной инженерии.

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