Проверяйте JSF AV правила C++ (-jsf-coding-rules)

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

Polyspace больше не будет поддерживать файлы пользовательской конфигурации в текстовом формате в будущем релизе. См. Вопросы совместимости.

Описание

Задайте, проверять ли на нарушение правил JSF® AV C ++ (JSF ++:2005). Каждое значение опции соответствует подмножеству правил проверять.

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

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

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

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

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

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

Настройки

Значение по умолчанию: shall-rules

shall-rules

Проверяйте, что все Должны Быть правила. Будут правила быть обязательными требованиями и требовать верификации.

shall-will-rules

Проверяйте, что все Должны Быть и Быть правила. Будут правила предназначаться, чтобы быть обязательными требованиями, но не потребовать верификации.

all-rules

Проверяйте, что все Должны Быть, Быть, и Если правила. Если правила являются консультативными правилами.

from-file

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

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

Если вы устанавливаете опцию на from-file, включаете Set checkers by file (-checkers-selection-file).

Советы

  • Если ваш проект использует установку кроме generic для Compiler (-compiler), некоторые правила не могут полностью проверяться. Например, Правило 8 AV: “Весь код должен соответствовать ISO/IEC 14882:2002 (E) стандартный C++”.

Зависимость

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

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

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

Параметр: -jsf-coding-rules
Значение: shall-rules | shall-will-rules | all-rules | from-file
Значение по умолчанию: shall-rules
Пример (средство поиска ошибки): polyspace-bug-finder -sources file_name -jsf-coding-rules all-rules
Пример (программа автоматического доказательства кода): polyspace-code-prover -sources file_name -jsf-coding-rules all-rules
Пример (сервер средства поиска ошибки): polyspace-bug-finder-server -sources file_name -jsf-coding-rules all-rules
Пример (сервер программы автоматического доказательства кода): polyspace-code-prover-server -sources file_name -jsf-coding-rules all-rules

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2019a