Можно запустить Polyspace, когда Вы Кодируете непосредственно в терминале в вашей операционной системе. Если вы можете инициировать запуски командной строки и консоль представления выход в вашем IDE или редакторе, можно использовать Polyspace, когда Вы Кодируете на ИДАХ или редакторах, которые непосредственно не поддерживаются с плагинами или расширениями.
polyspace-access | (DOS/UNIX) Управляет загрузкой, или экспорт Polyspace следует из Polyspace доступ к веб-интерфейсу |
polyspace-bug-finder-access | (DOS/UNIX) Запускает Polyspace, в то время как Вы Кодируете от Windows, Linux или другой командной строки |
polyspace-comments-import | (DOS/UNIX) информация об анализе Импорта от предыдущего анализа Polyspace |
polyspace-configure | (DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS |
polyspace-results-export | (DOS/UNIX) Polyspace Экспорта заканчивается к внешним форматам, таким как CSV или JSON |
Запустите Polyspace, в то время как вы кодируете из командной строки и экспортируете результаты
Распечатайте Polyspace, когда Вы Кодируете результаты в тексте или проанализированном формате JSON на консолях IDE или командной строке.
Установите Polyspace, в то время как вы кодируете Используя инсталлятор
Установите Polyspace как Вас механизм Анализа кода и расширения IDE.
Сгенерируйте опции сборки для Polyspace как вы анализ кода в командной строке
Извлеките информацию о конфигурации сборки из команды сборки или базы данных компиляции JSON.
Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в командной строке
Создайте, измените или импортируйте выбор Polyspace® дефектные средства проверки и кодирующий нарушения правила.
Базовый Polyspace, когда вы кодируете результаты на командной строке
Получите базовую линию и фокусируйтесь на новых результатах только, импортируйте информацию об анализе, получите контекстную информацию интегрирования.
