В вашем расширении IDE или сменных настройках, можно задать обычно необходимые опции, такие как папка результатов, средства проверки, и так далее. Смотрите полный список настроек расширения IDE здесь.
Если вы не можете найти, что установка в вашем расширении IDE настраивает анализ, ищет аналитическую опцию механизма и задает опцию в файле опций. Затем задайте файл опций в своих настройках расширения IDE.
Сконфигурируйте Polyspace как вас расширение кода в Visual Studio
Установите Polyspace как Вас настройки Расширения кода, такие как аналитический режим запуска и конфигурация сборки.
Сконфигурируйте Polyspace как вас расширение кода в коде Visual Studio
Установите Polyspace как Вас настройки Расширения кода, такие как аналитический режим запуска и конфигурация сборки.
Сконфигурируйте Polyspace, в то время как вы кодируете плагин в Eclipse
Установите Polyspace, когда Вы Кодируете сменные настройки, такие как аналитический режим запуска и конфигурация сборки.
Файлы опций для анализа Polyspace
Соберите все опции анализа в текстовом файле для легкого совместного использования через проекты.
