Static Memory Checks

Checks on memory access

Static memory checks in Polyspace^® Code Prover™ check for run-time errors related to statically allocated memory, such as array access or pointer dereference outside bounds.

Polyspace Results

`Absolute address usage`	Absolute address is assigned to pointer
`Illegally dereferenced pointer`	Pointer is dereferenced outside bounds
`Out of bounds array index`	Array is accessed outside range

Topics

Review and Fix Absolute Address Usage Checks
Review uses of absolute address in your code and make sure that the addresses are valid.
Review and Fix Illegally Dereferenced Pointer Checks
Review prior operations in your code that lead to a pointer pointing outside its allocated memory buffer.
Review and Fix Out of Bounds Array Index Checks
Review prior operations in your code that lead to an array index being greater than or equal to array size.
Find Relations Between Variables in Code
Determine if the variables in any operation are related from some previous operation.