exponenta event banner

Дефекты динамической памяти

Дефекты динамического кодирования памяти, свободные указатели, утечки памяти, незащищенная память

Эти дефекты являются ошибками, связанными с использованием памяти при динамическом распределении памяти. Дефекты включают в себя:

  • Освобождение динамически выделяемой памяти

  • Выделение памяти без резервирования

Результаты Polyspace

Alignment changed after memory reallocationПерераспределение памяти изменяет первоначально более строгое выравнивание объекта
Deallocation of previously deallocated pointerПамять освобождается более одного раза без выделения
Invalid free of pointerОтмена выделения указателя без соответствующего динамического выделения
Invalid deletion of pointerОтмена выделения указателя с помощью delete без соответствующего распределения с использованием new
Memory leakПамять, выделенная динамически, не освобождается
Mismatched alloc/dealloc functions on WindowsНеправильная функция отмены распределения приводит к повреждению памяти
Unprotected dynamic memory allocationУказатель, возвращенный из динамического выделения, не проверен NULL или nullptr стоимость
Use of previously freed pointerДоступ к памяти после освобождения

Темы

Группы дефектов для поиска ошибок

Проверки дефектов Bug Finder подразделяются на такие группы, как поток данных, параллелизм, числовые и т. д.