-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 |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -lang cpp -sources |