На панели 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 Desktop.