Polyspace® когда Вы Кодируете, проверяет файл, который в настоящее время активен в вашем IDE или редакторе кода для ошибок и нарушений стандартов кодирования.
Так, чтобы аналитические запуски без ошибок, обеспечьте Polyspace, когда Вы Кодируете со спецификами вашей конфигурации сборки, такими как размеры типа данных и макроопределения компилятора. Чтобы предоставить вашу информацию о конфигурации сборки, вы можете:
Сконфигурируйте Polyspace, когда Вы Кодируете, чтобы извлечь информацию о конфигурации сборки из вашего проекта IDE, команды сборки или базы данных компиляции JSON.
Задайте опции анализа, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Импортируйте опции анализа из файла проекта десктопного решения Polyspace.
Сгенерируйте опции сборки для Polyspace как вы анализ кода в Visual Studio
Извлеките информацию о конфигурации сборки из решения, создайте команду или базу данных компиляции JSON.
Сгенерируйте опции сборки для Polyspace как вы анализ кода в коде Visual Studio
Извлеките информацию о конфигурации сборки из задачи сборки, создайте команду или базу данных компиляции JSON.
Сгенерируйте опции сборки для Polyspace как вы анализ кода в Eclipse
Извлеките информацию о конфигурации сборки из проекта, создайте команду или базу данных компиляции JSON.
Сгенерируйте опции сборки для Polyspace как вы анализ кода в командной строке
Извлеките информацию о конфигурации сборки из команды сборки или базы данных компиляции JSON.
