Проверки статического ЗУ

Проверяет доступ к памяти

Результаты Polyspace

Absolute address usageАбсолютный адрес присвоен указателю
Illegally dereferenced pointerУказатель разыменовывается вне границ
Out of bounds array indexК массиву получают доступ вне области значений

Темы

Рассмотрите и зафиксируйте абсолютные проверки использования адреса

Рассмотрите использование абсолютного адреса в вашем коде и убедитесь, что адреса допустимы.

Рассмотрите и зафиксируйте незаконно разыменованные проверки указателя

Рассмотрите предшествующие операции в своем коде, которые приводят к обращению указателя вне его выделенного буфера памяти.

Рассмотрите и зафиксируйте за пределы проверки индекса массива

Рассмотрите предшествующие операции в своем коде, которые приводят к индексу массива, бывшему больше или бывшему равный размеру массивов.

Найдите отношения между переменными в коде

Определите, связаны ли переменные в какой-либо операции от некоторой предыдущей операции.