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