exponenta event banner

Проверки потока данных

Проверка чтения переменных, возвращаемых функций и условных операторов

Результаты Polyspace

Function not calledФункция определена, но не вызвана
Function not reachableФункция вызывается из недостижимой части кода
Global variable not assigned a value in initialization codeГлобальной переменной не присвоено значение в разделе инициализации программы
Non-initialized local variableЛокальная переменная не инициализирована перед чтением
Non-initialized pointerУказатель не инициализирован перед чтением
Non-initialized variableПеременная, отличная от локальной, не инициализируется перед считыванием
Return value not initializedФункция C не возвращает значение, когда ожидается
Unreachable codeКод не может быть получен во время выполнения

Темы

Проверка и исправление функции, не вызываемой проверками

Узнайте, почему функция не появляется в графике вызовов, начиная с main или другую точку входа.

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

Определите узлы вызова функции и выясните, почему они возникают в недостижимом коде.

Просмотр и исправление возвращаемого значения не инициализированных чеков

Определение путей через тело функции, которые не заканчиваются return заявление.

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

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

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

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

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

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

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

Выясните, почему условный оператор в коде является избыточным, например, всегда true или всегда false.

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

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