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

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

Результаты Polyspace

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

Темы

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

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