Check SEI CERT-C++ (-cert-cpp)

Проверяйте на нарушения CERT правила C++

Описание

Эта опция влияет на Средство поиска Ошибки только.

Задайте, проверять ли на нарушения правил CERT® C ++.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые необходимо также включить.

Командная строка: Используйте опцию -cert-cpp. Смотрите информацию о командной строке.

Почему использование эта опция

Используйте эту опцию, чтобы задать подмножество CERT правила C++ зарегистрироваться в вашем коде.

После анализа панель Results List перечисляет кодирующие стандартные нарушения. На панели Source, для каждого кодирующего стандартного нарушения, Polyspace® присваивает символ ключевому слову или идентификатору, относящемуся к нарушению.

Настройки

Значение по умолчанию: all

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) к CPP или C-CPP.

    Для проектов со смешанным C и Кода С++, средство проверки CERT-C SEI анализирует только .cpp файлы.

Информация о командной строке

Параметр: -cert-cpp
Значение: all | from-file |
Значение по умолчанию: all
Пример (Средство поиска Ошибки): Polyspace Bug Finder - Ленг cpp - источники file_name - сертификат-cpp все
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - Ленг cpp - источники file_name - сертификат-cpp все