Пользовательские правила 9. x в Polyspace® осуществляет соглашения о присвоении имен для переменных. Для получения информации о том, как включить эти правила, смотрите Check custom rules (-custom-rules).
| Номер | Прикладное правило | Другие детали |
|---|---|---|
| 9.1 | Все глобальные переменные должны следовать за заданным шаблоном. | Глобальная переменная является переменной с внешней связью. |
| 9.2 | Все статические переменные должны следовать за заданным шаблоном. | Статическая переменная является переменной с внутренней связью. |
| 9.3 | Все локальные переменные должны следовать за заданным шаблоном. | Локальная переменная является переменной без связи. |
| 9.4 | Все статические локальные переменные должны следовать за заданным шаблоном. | Статическая локальная переменная является переменной, объявленной статичной в функции. |
