Панель Configuration Settings отображает все опции анализа, которые были переданы Polyspace® аналитический механизм, чтобы сгенерировать в настоящее время выбранные результаты. Эти опции включают опции, которые пользователь задает и опции, которые включены по умолчанию.
Вы открываете панель Configuration Settings путем движения в Window> Configuration Settings.
Нажмите Checkers configuration, чтобы видеть, для которого включены средства проверки:
Кодирование Стандартов, например, MISRA C®: 2012.
Checkers configuration не доступен для проекта Code Prover, если никакое кодирование стандартные или пользовательские правила кодирования не включено.
