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

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

Результаты Polyspace

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

Темы

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

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

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

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

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

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

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

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

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

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