-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 в командной строке).
Папки include - это папки, которые вы добавляете в Include папку вашего проекта Polyspace (или используете с аргументом -I в командной строке).
customРезультаты появляются в исходных файлах и файлах, которые вы задаете. Если вы вводите имя папки, результаты появляются в файлах заголовков в этой папке (и ее подпапках).
Щелкните
, чтобы добавить поле. Введите имя файла или папки.
Используйте эту опцию в сочетании с соответствующими значениями для опции Do not generate results for (-do-not-generate-results-for).
Если вы выбираете custom и значения для конфликта двух опций, более конкретное значение определяет отображение результатов. Например, в следующих примерах значение для Generate results for sources and опции является более конкретным.
| Generate results for sources and | Do not generate results for | Конечный результат |
|---|---|---|
|
| Результаты отображаются в файлах заголовков в C:\Includes\Custom_Library\ и его подпапки, но не сгенерированные для других заголовочных файлов в C:\Includes. |
|
| Результаты отображаются в заголовочном файле my_header.h в C:\Includes\ но не сгенерирован для других заголовочных файлов в C:\Includes\ и его подпапки. |
Используя эти две опции вместе, можно подавить результаты из всех файлов в определенной папке, но не поддерживать выбранные файлы в этих папках.
Если вы выбираете all-headers для этой опции результаты отображаются во всех файлах заголовков независимо от того, что вы задаете для Do not generate results for опций.
Параметр: -generate-results-for |
Значение:
source-headersall-headers | custom | custom |
Пример (Bug Finder):
Polyspace Bug Finder -lang c -sources file_name |
Пример (Code Prover):
Polyspace Code Prover -lang c -sources file_name |
Пример (Bug Finder Server):
polyspace-bug-finder-server -lang c -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -lang c -sources file_name |