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

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

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

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

  • Незащищенные выделения памяти

Результаты 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

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