Difetti di memoria dinamica

Difetti relativi a errori di codifica della memoria dinamica, puntatori liberati, perdite di memoria, memoria non protetta

Questi difetti sono errori relativi all'utilizzo della memoria quando è allocata in modo dinamico. I difetti includono:

Liberare la memoria allocata dinamicamente
Allocazioni di memoria non protette

Risultati di 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

Argomenti

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