Défauts de mémoire dynamique

Défauts concernant les erreurs de codage de la mémoire dynamique, les pointeurs libérés, les fuites de mémoire, la mémoire non protégée

Ces défauts sont des erreurs liées à l'utilisation de la mémoire lorsque celle-ci est allouée de manière dynamique. Ces défauts incluent :

Résultats 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.