Defectos de memoria dinámica

Defectos por errores de codificación relacionados con la memoria dinámica, punteros liberados, fugas de memoria, memoria no protegida

Estos defectos son errores relacionados con el uso de la memoria cuando se ha asignado de forma dinámica. Entre estos defectos se incluyen:

Resultados de Polyspace

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

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