-misra-cpp)Проверяйте на нарушения правил C++ MISRA
Polyspace больше не будет поддерживать файлы пользовательской конфигурации в текстовом формате в будущем релизе. См. Вопросы совместимости.
Задайте, проверять ли на нарушение правил MISRA® C ++. Каждое значение опции соответствует подмножеству правил проверять.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимость для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -misra-cpp. Смотрите информацию о командной строке.
Используйте эту опцию, чтобы задать подмножество правил C++ MISRA проверять на.
После анализа панель Results List перечисляет кодирующие стандартные нарушения. На панели Source, для каждого нарушения правила кодирования, Polyspace® присваивает
символ ключевому слову или идентификатору, относящемуся к нарушению.
Значение по умолчанию:
required-rules
required-rules
Проверяйте требуемые правила кодирования.
all-rules
Проверяйте требуемый и консультативные правила кодирования.
SQO-subset1
Проверяйте только подмножество правил C++ MISRA. В Polyspace Code Prover™, наблюдая эти правила может сократить количество бездоказательных результатов. Для получения дополнительной информации смотрите Подмножества Цели Качества программного обеспечения (C++).
SQO-subset2
Проверяйте подмножество правил включая SQO-subset1 и некоторые дополнительные правила. В Polyspace Code Prover, наблюдая эти правила может далее сократить количество бездоказательных результатов. Для получения дополнительной информации смотрите Подмножества Цели Качества программного обеспечения (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++ MISRA анализирует только .cpp файлы.
Параметр:
-misra-cpp |
Значение:
required-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |
Не рекомендуемый запуск в R2019a
Начиная в R2019a, файл, где вы задаете пользовательский выбор кодирования стандартных средств проверки, использует формат XML. Можно сохранить пользовательские выборы для всех стандартов кодирования, которые Polyspace поддерживает в том же файле.
В предыдущих релизах, вы сохраненный ваш пользовательский выбор для каждого стандарта кодирования в отдельных текстовых файлах. Polyspace прекратит поддерживать пользовательские кодирующие стандартные файлы в текстовом формате в будущем релизе.
Настольный интерфейс:
Если у вас есть проект, который содержит пользовательские кодирующие стандартные файлы выбора в текстовом формате, Polyspace автоматически обновляет и консолидирует те файлы в один XML-файл. Если ваш проект имеет конфликтные настройки, которые относятся к тому же пользовательскому файлу выбора, программное обеспечение сохраняет объединенный кодирующий стандартный выбор для каждой настройки, чтобы разделить XML-файлы.
Обновить ваши текстовые файлы к формату XML вручную, в узле Coding Standards & Code Metrics панели Configuration, нажатия кнопки
. В окне Findings selection выберите файлы, затем нажимают Save Changes. Polyspace консолидирует файлы в сингл XML-файлы и сохранил этот файл как filename.xmlfilename имя первого выбранного файла в алфавитном порядке. Например, если вы выбираете foo.conf и bar.conf, они сохранены как bar.conf.xml.
Командная строка:
Если у вас нет доступа к интерфейсу рабочего стола Polyspace, используйте файл misra_cpp_2008_rules.xml как шаблон, чтобы создать XML-файл, где вы задаете пользовательский выбор кодирования стандартных средств проверки. Этот файл шаблона находится в polyspaceroot\help\toolbox\polyspace_bug_finder_server\examples\coding_standards_XMLpolyspacerootC:\Program Files\Polyspace\R2019a. Чтобы обновить ваш скрипт, см. эту таблицу
| Опция | Используйте вместо этого |
|---|---|
-misra-cpp "custom_standard.conf" | -checkers-selection-file misra_cpp_2008_rules.xml -misra-cpp from-file |
.
Примечание
Формат XML конфигурационного файла средства проверки может измениться в будущих релизах.
Do not generate results for (-do-not-generate-results-for)
