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

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

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

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

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

Результаты 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 классифицируются в такие группы, как поток данных, параллелизм, численный и так далее.