exponenta event banner

Проверьте SEI CERT-C + + (-cert-cpp)

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

Описание

Этот параметр влияет только на поиск ошибок.

Укажите, следует ли проверять наличие нарушений правил CERT ® C++.

Задать опцию

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

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

Зачем использовать этот параметр

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

После анализа на панели Список результатов (Results List) отображается список нарушений стандартов кодирования. На панели «Источник» для каждого нарушения стандарта кодирования Polyspace ® назначает символ ключевому слову или идентификатору, соответствующему нарушению.

Настройки

По умолчанию: all

all

Проверьте наличие нарушений всех правил CERT C++, поддерживаемых Polyspace.

См. раздел Правила CERT C++.

from-file

Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, а затем выберите правила, которые необходимо проверить для этого стандарта кодирования, на правой панели окна выбора результатов. Сохраните файл.

Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).

Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).

Зависимости

  • Эта опция доступна только при установке Source code language (-lang) кому CPP или C-CPP.

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

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

Параметр: -cert-cpp
Значение: all | from-file |
Пример (поиск ошибок): polyspace-bug-finder -lang cpp -sources file_name -cert-cpp all
Пример (сервер поиска ошибок): polyspace-bug-finder-server -lang cpp -sources file_name -cert-cpp all