-cert-c)Проверяйте на нарушения CERT C правила и рекомендации
Эта опция влияет на Средство поиска Ошибки только.
Задайте, проверять ли на нарушения правил CERT® C и рекомендаций. Каждое значение опции соответствует подмножеству стандарта кодирования, чтобы проверять.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле 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, управляет только, как задано в 2 016 выпусках CERT SEI C Кодирование Стандарта.
Смотрите CERT C веб-сайт для объяснения различия между правилами и рекомендациями.
Список CERT-C постановляет, что Polyspace проверяет, когда вы используете publish-2016
allПроверяйте на нарушения всего CERT C правила и рекомендации, поддержанные Polyspace.
Смотрите CERT C правила и рекомендации.
from-file
Задайте XML-файл, где вы конфигурируете пользовательский выбор средств проверки для этого стандарта кодирования. Чтобы создать конфигурационный файл, кликните
, затем выберите правила и рекомендации, которые вы хотите проверять на этот стандарт кодирования от правой панели окна Findings selection. Сохраните файл.
Чтобы использовать или обновить существующий конфигурационный файл, в окне Findings selection, вводят полный путь в файл в обеспеченном поле или нажимают Browse.
Если вы устанавливаете опцию на from-file, включите Set checkers by file (-checkers-selection-file).
Эта опция доступна, только если вы устанавливаете Source code language (-lang) toc или C-CPP.
Для проектов со смешанным C и Кода С++, средство проверки CERT-C SEI анализирует только .c файлы.
Параметр:
-cert-c |
Значение:
all-rules | publish-2016 | all | from-file |
Значение по умолчанию:
all |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - Ленг c - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - Ленг c - источники |