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

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

Результаты 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 initializedC функция не делает возвращаемого значения, когда ожидается
Unreachable codeКод не может быть достигнут во время выполнения

Темы

Рассмотрите и зафиксируйте функцию, не вызванную проверки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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