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