-cert-c)Проверка нарушений правил и рекомендаций CERT C
Этот параметр влияет только на поиск ошибок.
Укажите, следует ли проверять наличие нарушений правил и рекомендаций CERT ® C. Каждое значение опции соответствует подмножеству стандарта кодирования для проверки.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -cert-c. См. раздел Сведения о командной строке.
Используйте этот параметр, чтобы указать подмножество правил и рекомендаций CERT C для возврата кода.
После анализа на панели Список результатов (Results List) отображается список нарушений стандартов кодирования. На панели «Источник» для каждого нарушения стандарта кодирования Polyspace ® назначает
символ ключевому слову или идентификатору, соответствующему нарушению.
По умолчанию:
all
all-rules
Проверьте только нарушения правил CERT C.
Объяснение различий между правилами и рекомендациями см. на веб-сайте CERT C.
Список правил CERT-C, проверяемых Polyspace при использовании all-rules
publish-2016
Проверьте наличие нарушений только правил CERT C, как определено в выпуске стандарта кодирования SEI CERT C 2016 года.
Объяснение различий между правилами и рекомендациями см. на веб-сайте CERT C.
Список правил CERT-C, проверяемых Polyspace при использовании publish-2016
allПроверьте нарушения всех правил и рекомендаций CERT C, поддерживаемых Polyspace.
from-file
Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, 
а затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой области окна выбора результатов. Сохраните файл.
Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).
Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).
Эта опция доступна только при установке Source code language (-lang) кому C или C-CPP.
Для проектов со смешанным кодом C и C++ средство проверки SEI CERT-C анализирует только .c файлы.
Параметр:
-cert-c |
Значение:
all-rules | publish-2016 | all | from-file |
Пример (поиск ошибок):
polyspace-bug-finder -lang c -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -lang c -sources |