Кодирование Standards & Code Metrics

MISRA, AUTOSAR, CERT и JSF, кодирующий наборы правила, пользовательские правила кодирования, метрики кода

Чтобы задать, какое кодирование стандартов вы хотите проверять, например, MISRA C^®: 2012 или C++ AUTOSAR 14, используйте кодирующие стандартные опции. Чтобы видеть метрики сложности кода в ваших результатах анализа, например, цикломатической сложности и количестве вызова или вызванных функций, используют метрическую опцию кода.

Аналитические опции

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

Кодирование стандартов: C

`Check MISRA C:2004 (-misra2)`	Проверяйте на нарушение правил MISRA C:2004
`Check MISRA AC AGC (-misra-ac-agc)`	Проверяйте на нарушение правил AGC AC MISRA
`Check MISRA C:2012 (-misra3)`	Проверяйте на нарушения правил MISRA C:2012 и директив
`Use generated code requirements (-misra3-agc-mode)`	Проверяйте на нарушения правил MISRA C:2012 и директив, которые применяются к сгенерированному коду
`Effective boolean types (-boolean-types)`	Задайте типы данных, которые кодирующий средство проверки правила должен обработать как эффективно булев
`Check SEI CERT-C (-cert-c)`	Проверяйте на нарушения CERT C правила и рекомендации
`Check ISO/IEC TS 17961 (-iso-17961)`	Проверяйте на нарушения правил ISO/IEC TS 17961

Кодирование стандартов: C++

`Check MISRA C++ rules (-misra-cpp)`	Проверяйте на нарушения правил C++ MISRA
`Check JSF C++ rules (-jsf-coding-rules)`	Проверяйте на нарушения правил C++ JSF
`Check AUTOSAR C++ 14 (-autosar-cpp14)`	Проверяйте на нарушения C++ AUTOSAR 14 правил
`Check SEI CERT-C++ (-cert-cpp)`	Проверяйте на нарушения CERT правила C++

Кодирование стандартов: Все

`Set checkers by file (-checkers-selection-file)`	Задайте пользовательский набор кодирования проверок стандартов на ваш анализ
`Check custom rules (-custom-rules)`	Следуйте соглашениям о присвоении имен для идентификаторов
`Allowed pragmas (-allowed-pragmas)`	Задайте директивы прагмы, которые документируются

Метрики кода

Calculate code metrics (-code-metrics) Вычислите и отобразите метрики сложности кода

Темы

Начало работы

Подготовьте скрипты к анализу Polyspace

Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.

Проверяйте на кодирование стандартных нарушений

Проверяйте на нарушения C++ AUTOSAR 14, CERT^® C, CERT C++ MISRA C, MISRA^® C ++, JSF AV C++ или стандарт ISO 17961 с Программой автоматического доказательства Средства поиска или Кода Ошибки.

Создайте пользовательские правила кодирования

Осуществите соглашения о присвоении имен и другие инструкции по стилю по коду C/C++ с Polyspace^®.