-iso-17961)Проверка на предмет нарушений правил ISO/IEC TS 17961
Этот параметр влияет только на поиск ошибок.
Укажите, проверять ли нарушения правил ISO/IEC TS 17961.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Coding Standards & Code Metrics. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -iso-17961. См. раздел Сведения о командной строке.
Эта опция используется для указания подмножества правил ISO/IEC TS 17961 для проверки.
После анализа на панели Список результатов (Results List) отображается список нарушений стандартов кодирования. На панели «Источник» для каждого нарушения стандарта кодирования Polyspace ® назначает
символ ключевому слову или идентификатору, соответствующему нарушению.
По умолчанию:
all
decidable
Проверка на предмет нарушения разрешимых правил. Нарушения этих правил зависят только от статических свойств времени компиляции, например типа объекта или области идентификаторов.
all
Проверьте наличие нарушений всех правил ISO/IEC TS 17961, поддерживаемых Polyspace.
from-file
Укажите XML-файл, в котором настраивается пользовательский выбор шашек для данного стандарта кодирования. Чтобы создать файл конфигурации, щелкните значок, 
а затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой области окна выбора результатов. Сохраните файл.
Чтобы использовать или обновлять существующий файл конфигурации, в окне Выбор результатов (Findings selection) введите полный путь к файлу в предоставленном поле или нажмите кнопку Обзор (Browse).
Если для параметра установлено значение from-file, включить Set checkers by file (-checkers-selection-file).
Эта опция доступна только при установке Source code language (-lang) кому C или C-CPP.
Параметр:
-iso-17961 |
Значение:decidable | all | from-file |
Пример (поиск ошибок):
polyspace-bug-finder -lang c -sources |