Main Content

Dynamic Memory Defects

Defects for dynamic memory coding errors, freed pointers, memory leaks, unprotected memory

These defects are errors relating to memory usage when the memory is dynamically allocated. The defects include:

  • Freeing dynamically allocated memory

  • Unprotected memory allocations

Polyspace Results

Alignment changed after memory reallocationMemory reallocation changes the originally stricter alignment of an object
Deallocation of previously deallocated pointerMemory freed more than once without allocation
Invalid free of pointerPointer deallocation without a corresponding dynamic allocation
Invalid deletion of pointerPointer deallocation using delete without corresponding allocation using new
Memory leakMemory allocated dynamically not freed
Mismatched alloc/dealloc functions on WindowsImproper deallocation function causes memory corruption issues
Unprotected dynamic memory allocationPointer returned from dynamic allocation not checked for NULL or nullptr value
Use of previously freed pointerMemory accessed after deallocation

Topics

  • Bug Finder Defect Groups

    The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.