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