Используйте пользовательский интерфейс рабочего стола Polyspace, чтобы сконфигурировать и запустить анализ. Узнать, как, чтобы создать или обновить проект, какие файлы сгенерированы анализом Polyspace, и как организовать и настроить интерфейс.
Добавьте исходные файлы для анализа в пользовательском интерфейсе Polyspace
Добавьте исходные файлы с помощью команды сборки или вручную.
Запустите анализ Polyspace рабочего стола
Запустите анализ Polyspace своего рабочего стола в пользовательском интерфейсе Polyspace.
Создайте проект Используя информацию о Visual Studio
Задайте исходные файлы и некоторые аналитические опции путем трассировки Визуальной сборки Studio®.
Создайте проект Используя шаблон конфигурации
Создайте проект Polyspace с помощью предопределенной настройки, экспортируйте настройку для повторного использования.
Обновите список источников, измените пути к папкам, заявка на изменение включает, и добавьте файлы в существующий проект.
Проект и содержание папки результатов
Узнайте о различных файлах, сгенерированных от верификации Polyspace.
Устройство хранения данных временных файлов
Изучите, где Polyspace хранит временные файлы во время анализа.
Организуйте размещение пользовательского интерфейса Polyspace
Реорганизуйте расположение окон, сохраните свою организацию и переключитесь на сохраненное размещение в один клик.
Настройте пользовательский интерфейс Polyspace
Настройте поведение по умолчанию пользовательского интерфейса Polyspace, например, места хранения проекта по умолчанию или размер шрифта.
