На панели Список результатов (Results List) при выборе Файл (File) из
списка (Группировка) не отображается:
Некоторые исходные файлы.
Некоторые функции в исходных файлах.
Если исходный файл или функция не содержат результата, такого как проверка или нарушение правила кодирования, панель Список результатов (Results List) не отображает файл или функцию. Если ни одна из операций в исходном файле или функции не содержит проверки, это означает, что Polyspace ® не проверил этот исходный файл или функцию.
Чтобы проверить, были ли проверены все файлы и функции, см. график проверки кода на панели Панель мониторинга. Дополнительные сведения см. в разделе Панель мониторинга.
Polyspace не проверяет исходный файл или функцию при возникновении одной из следующих ситуаций.
| Ситуация | Зафиксировать |
|---|---|
Файл или функция не содержит операции, для которой требуется проверка. Например, функция содержит вызовы только других функций. Если ни одна из вызываемых функций не содержит ошибки, которые приводят к ошибке вызова без завершения в вызывающей функции, вызывающая функция не содержит проверки. | Исправление не требуется. |
Все функции в исходном файле не вызываются, вызываются из недостижимого кода или вызываются после проверки красным цветом. Polyspace не проверяет код, который следует за красной проверкой и находится в той же области, что и проверка. Поэтому он считает, что функции не вызываются и не проверяет файл, содержащий функции. | Если вы решили обнаружить незакрытые функции, проверка помещает серую проверку на эти функции. Затем функции и исходный файл, содержащий функции, появятся на панели Список результатов (Results List). Дополнительные сведения см. в разделе |
Ваш код предназначен для многозадачности, и вы не указываете все точки входа. Если все функции в файле вызываются из функции точки входа, которую вы не указали, Polyspace не проверяет файл. | Проверьте, указаны ли все точки входа. Дополнительные сведения о задании точек входа см. в разделе |
Если исходные файлы не содержат Если параметры анализа таковы, что сгенерированные | Проверьте, нужно ли менять Дополнительные сведения о параметрах см. в разделе:
|
При повторном запуске проверки в модуле проекта фильтры из последнего прогона применяются к текущему прогону. Из-за постоянных фильтров некоторые файлы могут быть скрыты от экрана.
Чтобы проверить, применяются ли некоторые фильтры, см. заголовок панели «Список результатов». В заголовке отображается количество результатов, отфильтрованных с экрана. Если поместить курсор на этот номер, можно увидеть примененные фильтры.
Например, на изображении можно увидеть, что применены следующие фильтры:
Фильтр Проверки и правила (Checks & Rules) подавляет метрики кода и глобальные переменные.
Фильтр для подавления результатов предыдущей проверки.
Фильтры в столбцах Информация (Information) и Проверка (Check).
Очистите фильтры и проверьте, появляется ли файл или функция на панели Список результатов (Results List). Дополнительные сведения см. в разделе Результаты фильтрации и группирования в пользовательском интерфейсе Polyspace Desktop.