-iso-17961)Проверка на нарушения правил ISO/IEC TS 17961
Эта опция влияет только на Bug Finder.
Укажите, проверять ли нарушения правил ISO/IEC TS 17961.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Coding Standards & Code Metrics. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -iso-17961. См. «Информация о командной строке».
Используйте эту опцию, чтобы задать подмножество правил ISO/IEC TS 17961 для проверки.
После анализа на Results List панели перечислены нарушения стандартов кодирования. На панели Source для каждого стандартного нарушения кодирования Polyspace® присваивает
символ ключевому слову или идентификатору, имеющему отношение к нарушению.
По умолчанию:
all
decidable
Проверяйте на нарушения допустимых правил. Нарушения этих правил зависят только от статических свойств во время компиляции, для образца типа объекта или возможностей идентификаторов.
all
Проверка на нарушения всех правил ISO/IEC TS 17961 Polyspace поддерживает.
from-file
Укажите XML- файл, в котором вы конфигурируете пользовательский выбор шашек для этого стандарта кодирования. Чтобы создать файл строения, щелкните, 
затем выберите правила и рекомендации, которые необходимо проверить для этого стандарта кодирования, в правой панели окна Findings selection. Сохраните файл.
Чтобы использовать или обновить существующий файл строения, в 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 |
Пример (Bug Finder):
Polyspace Bug Finder -lang c -sources file_name |