Exponenta Banner

Дополнительные настройки

Команды постанализа, скрипты, неофициальные опции

Чтобы задать команды или скрипты, которые могут запускаться после верификации, или задать опции, которые являются только командной строкой в Polyspace® пользовательский интерфейс, используйте дополнительные опции.

Опции анализа

расширить все

Command/script to apply after the end of the code verification (-post-analysis-command)Задайте команду или скрипт, который будет выполнен после анализа
OtherУкажите дополнительные флаги для анализа

Темы

Задайте опции анализа Polyspace

Задайте опции анализа Polyspace в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

Документация Polyspace Bug Finder

Поддержка