-cert-cpp)Проверяйте на нарушения правил CERT C++
Эта опция влияет только на Bug Finder.
Укажите, проверять ли нарушения 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 и C++, SEI CERT-C + + checker анализирует только .cpp файлы.
Параметр:
-cert-cpp |
Значение:
allfrom-file | |
Пример (Bug Finder):
Polyspace Bug Finder -lang cpp -sources file_name |
Пример (Bug Finder Server):
polyspace-bug-finder-server -lang cpp -sources file_name |