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