Можно осуществить соглашения о присвоении имен для идентификаторов и некоторые соглашения стиля кодирования с помощью Polyspace® пользовательские правила кодирования.
Используйте Check custom rules (-custom-rules) опция анализа, чтобы задать и активировать ваши пользовательские правила.
Примечание
Начиная в будущем релизе, Code Prover не поддержит проверяющее соответствие внешним стандартам кодирования и вычислению метрик кода. Мигрируйте на Bug Finder для этих рабочих процессов. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder.
Создайте пользовательские правила кодирования
Осуществите соглашения о присвоении имен и другие инструкции по стилю по коду C/C++ с Polyspace.
Используйте Bug Finder вместо Code Prover, чтобы проверить соответствие различным стандартам кодирования, соглашениям о присвоении имен и стандартам сложности кода. Вычислите метрики кода при помощи Bug Finder.
