-generate-results-for)Укажите файлы, для которых требуется получить результаты анализа
Укажите файлы, для которых требуется получить результаты анализа.
По умолчанию результаты отображаются в исходных файлах и файлах заголовков в той же папке, что и исходные файлы. Эту опцию можно использовать для просмотра результатов в других файлах заголовков. При использовании опции Do not generate results for (-do-not-generate-results-for) для подавления целых папок можно использовать этот параметр для отмены подавления некоторых вложенных папок или файлов в этих папках.
Опция применяется только к нарушениям правил кодирования и метрикам кода. Нельзя подавлять проверки времени выполнения программы Code Prover из выбранных исходных и заголовочных файлов.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта параметр находится в узле Inputs & Stubbing.
файл командной строки и параметров: Использовать параметр -generate-results-for. См. раздел Сведения о командной строке.
Эта опция используется для просмотра наиболее релевантных для вас результатов в файлах заголовков.
Например, по умолчанию результаты генерируются для заголовочных файлов, расположенных в той же папке, что и исходные файлы. Часто другие заголовочные файлы принадлежат сторонней библиотеке. Хотя эти файлы заголовков необходимы для точного анализа, вы не заинтересованы в просмотре результатов в этих заголовках. Поэтому по умолчанию результаты для этих заголовков не создаются. Если вас интересуют определенные заголовки из сторонних библиотек, измените значение по умолчанию для этого параметра.
Обратите внимание, что в Polyspace as You Code результаты в заголовках не отображаются #include-d вообще через исходный файл. Поведение по умолчанию заключается в учете заголовков в той же папке, что и исходный файл (или подпапки) для анализа, но подавлении результатов, обнаруженных в заголовках. Эту опцию можно использовать только для расширения области, заголовки которой учитываются при анализе. См. также Анализ области применения кода Polyspace as You (Polyspace Bug Finder Access).
По умолчанию: source-headers
source-headers Результаты отображаются в исходных файлах и файлах заголовков в той же папке, что и исходные файлы, или во вложенных папках папок исходных файлов.
Исходные файлы - это файлы, добавляемые в папку Source проекта Polyspace ® (или используемые с аргументом).-sources в командной строке).
all-headersРезультаты отображаются в исходных файлах и во всех файлах заголовков. Заголовочные файлы могут находиться в той же папке, что и исходные файлы, во вложенных папках исходных файлов или во включенных папках.
Исходные файлы - это файлы, добавляемые в папку Source проекта Polyspace (или используемые с аргументом). -sources в командной строке).
Папки включения - это папки, добавляемые в папку включения проекта Polyspace (или используемые с аргументом). -I в командной строке).
customРезультаты отображаются в исходных файлах и указанных файлах. При вводе имени папки результаты отображаются в файлах заголовков в этой папке (и ее вложенных папках).
Щелкните
, чтобы добавить поле. Введите имя файла или папки.
Используйте эту опцию в сочетании с соответствующими значениями для опции Do not generate results for (-do-not-generate-results-for).
При выборе custom и значения для двух вариантов конфликтуют, более конкретное значение определяет отображение результатов. Например, в следующих примерах значение опции Генерировать результаты для источников и является более конкретным.
| Создание результатов для источников и | Не создавать результаты для | Окончательный результат |
|---|---|---|
|
| Результаты отображаются в файлах заголовков в C:\Includes\Custom_Library\ и его подпапки, но не созданные для других заголовочных файлов в C:\Includes. |
|
| Результаты отображаются в файле заголовка my_header.h в C:\Includes\ но не сгенерированы для других файлов заголовка в C:\Includes\ и его подпапки. |
Используя эти два варианта вместе, можно подавить результаты из всех файлов в определенной папке, но отменить подавление выбранных файлов в этих папках.
При выборе all-headers для этой опции результаты отображаются во всех файлах заголовков независимо от того, что указано для опции Не создавать результаты для.
Параметр: -generate-results-for |
Значение:
source-headers | all-headers | custom= | custom= |
Пример (поиск ошибок):
polyspace-bug-finder -lang c -sources |
Пример (проверка кода):
polyspace-code-prover -lang c -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -lang c -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -lang c -sources |