exponenta event banner

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

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

Результаты Polyspace

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

Темы

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

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

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

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

Проверка и устранение ошибок при проверке индекса массива Bounds

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

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

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