В Коде Visual Studio, с Polyspace как Вы Расширение кода, можно запуститься, однофайловый анализ файла сохраняют или явным образом. Анализ проверяет в настоящее время активный файл на дефекты (ошибки), кодируя стандартные нарушения и другие проблемы. Результаты анализа появляются как маркеры исходного кода и в отдельном списке.
Запустите Polyspace, в то время как вы кодируете в коде Visual Studio и рассматриваете результаты
Просмотрите результаты Polyspace как маркеры исходного кода или в списке в IDE Visual Studio Кода, устраните проблемы или выровняйте по ширине результаты.
Аннотируйте код и скройте известные или приемлемые результаты
Ищите Polyspace® синтаксис аннотации кода для выравнивания по ширине известных проблем.
Установите Polyspace, в то время как вы кодируете Используя инсталлятор
Установите Polyspace как Вас механизм Анализа кода и расширения IDE.
Сконфигурируйте Polyspace как вас расширение кода в коде Visual Studio
Установите Polyspace как Вас настройки Расширения кода, такие как аналитический режим запуска и конфигурация сборки.
Сгенерируйте опции сборки для Polyspace как вы анализ кода в коде Visual Studio
Извлеките информацию о конфигурации сборки из задачи сборки, создайте команду или базу данных компиляции JSON.
Сконфигурируйте средства проверки для Polyspace, в то время как вы кодируете в коде Visual Studio
Создайте, измените или импортируйте выбор средств проверки дефекта Polyspace и кодирующий нарушения правила.
Базовый Polyspace, когда вы кодируете результаты в коде Visual Studio
Получите базовую линию и фокусируйтесь на новых результатах только, импортируйте информацию об анализе, получите контекстную информацию интегрирования.