exponenta event banner

Контрольные проверки потока

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

Результаты Polyspace

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

Темы

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

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

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

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

Просмотр и исправление не завершающих проверок контура

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

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

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

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

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