Статические проверки памяти

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

Результаты Polyspace

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

Темы

Просмотр и исправление проверок использования абсолютных адресов

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

Просмотрите и исправьте незаконно размененные проверки указателя

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

Просмотрите и исправьте проверки индекса за пределами массива

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

Поиск отношений между переменными в коде

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