-misra-ac-agc
)Проверка на нарушение правил АРУ переменного тока MISRA
Укажите, следует ли проверять на нарушение правил, заданных в MISRA AC AGC Guidelines для применения MISRA-C:2004 в контексте автоматической генерации кода. Каждое значение опции соответствует подмножеству правил для проверки.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -misra-ac-agc
. См. «Информация о командной строке».
Используйте эту опцию, чтобы задать подмножество MISRA C®: 2004 Правила AC AGC для проверки.
После анализа на Results List панели перечислены нарушения стандартов кодирования. На панели Source для каждого нарушения правил кодирования Polyspace® присваивает символ ключевому слову или идентификатору, имеющему отношение к нарушению.
По умолчанию: OBL-rules
OBL-rules
Проверьте необходимые правила кодирования.
OBL-REC-rules
Проверьте требуемые и рекомендуемые правила.
single-unit-rules
Проверьте подмножество правил, которые применяются только к отдельным модулям перевода. Эти правила проверяются на фазе компиляции анализа.
system-decidable-rules
Проверяйте правила в single-unit-rules
подмножество и некоторые правила, которые применяются к коллективному набору программных файлов. Дополнительные правила являются менее сложными правилами, которые применяются на уровне интегрирования. Эти правила можно проверить только на уровне интегрирования, поскольку правила включают в себя несколько модули перевода. Эти правила проверяются на фазах компиляции и связывания анализа.
all-rules
Проверьте требуемые, рекомендуемые и связанные с чтением правила.
SQO-subset1
Проверьте подмножество правил. В Polyspace Code Prover™ соблюдение этих правил может уменьшить количество недоказанных результатов. Для получения дополнительной информации см. Раздел «Целевые подмножества качества программного обеспечения» (AC AGC).
SQO-subset2
Проверяйте подмножество правил, включая SQO-subset1
и некоторые дополнительные правила. В Polyspace Code Prover соблюдение этих правил может еще больше уменьшить количество недоказанных результатов. Для получения дополнительной информации см. Раздел «Целевые подмножества качества программного обеспечения» (AC AGC).
from-file
Укажите XML- файл, в котором вы конфигурируете пользовательский выбор шашек для этого стандарта кодирования. Чтобы создать файл строения, щелкните, затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой панели окна Findings selection. Сохраните файл.
Чтобы использовать или обновить существующий файл строения, в Findings selection окне введите полный путь к файлу в указанном поле или нажмите Browse.
Если вы задаете опцию from-file
, включить Set checkers by file (-checkers-selection-file)
.
Эта опция доступна только при установке Source code language (-lang)
на C
или C-CPP
.
Для проектов со смешанными C и Код С++, MISRA AC AGC checker анализирует только .c
файлы.
Если вы задаете Source code language (-lang)
на C-CPP
можно активировать проверку правил кодирования С и проверку правил кодирования С++. Когда у вас активны шашки правил кодирования C и C++, чтобы избежать дублирования результатов, Polyspace не производит правила кодирования C, найденные в фазе связывания (такие как MISRA C:2012 правило 8.3).
Чтобы уменьшить недоказанные результаты в Polyspace Code Prover:
Найдите нарушения правил кодирования в SQO-subset1
. Исправьте код для устранения нарушений и повторите верификацию.
Найдите нарушения правил кодирования в SQO-subset2
. Исправьте код для устранения нарушений и повторите верификацию.
Если вы выбираете опцию single-unit-rules
или system-decidable-rules
и решите обнаружить только нарушения правил кодирования, анализ может завершиться быстрее, чем проверка других правил. Для получения дополнительной информации см. Раздел «Подмножества правил кодирования, проверенные на ранних этапах анализа».
Параметр: -misra-ac-agc |
Значение:
OBL-rules | OBL-REC-rules | single-unit-rules | system-decidable-rules | all-rules | SQO-subset1 | SQO-subset2 | from-file |
Пример (Bug Finder):
Polyspace Bug Finder -sources file_name |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources file_name |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |