Проверки потока управления

Проверяет вызовы функций и циклы

Результаты Polyspace

Non-terminating callВызываемая функция не возвращается к вызывающему контексту
Non-terminating loopЦикл не завершается или содержит ошибку

Темы

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

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

Идентифицируйте вызов функции с ошибкой времени выполнения

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

Просмотрите и исправьте проверки без завершения цикла

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

Идентифицируйте операцию цикла с ошибкой времени выполнения

Идентифицируйте операцию цикла, ответственную за ошибку в цикле.

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

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