Эта тема описывает, как сконфигурировать Polyspace, когда Вы Кодируете плагин в Eclipse™. Для десктопных решений Polyspace, таких как Polyspace Bug Finder, смотрите Анализ Bug Finder На основе Проектов Eclipse.
Polyspace® когда Вы Кодируете, проверяет исходный код файла, который в настоящее время активен в вашем Eclipse IDE для ошибок и нарушений стандартов кодирования.
Так, чтобы аналитические запуски без ошибок, обеспечьте Polyspace, когда Вы Кодируете со спецификами вашей конфигурации сборки, такими как размеры типа данных и макроопределения компилятора. Чтобы предоставить вашу информацию о конфигурации сборки, вы можете:
Сконфигурируйте Polyspace, когда Вы Кодируете, чтобы извлечь информацию о конфигурации сборки из вашего проекта Eclipse, команды сборки или базы данных компиляции JSON.
Вручную задайте опции анализа, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Импортируйте опции анализа из файла проекта десктопного решения Polyspace.
Чтобы извлечь вашу информацию о конфигурации сборки из проекта Eclipse, создайте команду или базу данных компиляции JSON:
Перейдите к Polyspace> Configure Project.
Выберите соответствующую опцию Build configuration. Смотрите Конфигурируют Polyspace, когда Вы Кодируете Плагин в Eclipse.
Извлекать вашу информацию о конфигурации сборки из вашего проекта Eclipse:
Перейдите к Polyspace> Configure Project.
Выберите Get from Eclipse project. Смотрите конфигурируют Polyspace, когда вы кодируете плагин в Eclipse.
Каждый раз, когда вы запускаете анализ, Polyspace извлекает информацию о конфигурации сборки из набора инструментальных средств проекта и генерирует файл опций. Аналитический механизм Polyspace использует тот файл опций в последующем анализе.
Посмотреть детали настройки набора инструментальных средств:
Выберите проект в Project Explorer и перейдите к Project> Properties.
Под узлом C/C++ General выберите Paths and symbols и Preprocessor Include Paths, Macros, etc.
Извлекать вашу информацию о конфигурации сборки из вашей команды сборки:
Перейдите к Polyspace> Configure Project.
Выберите Get from build command line и задайте свою команду сборки. Смотрите Конфигурируют Polyspace, когда Вы Кодируете Плагин в Eclipse.
Команда сборки, которую вы задаете, должна выполнить полную сборку. Например:
"C:\Program Files\Polyspace as You Code\R2021a\sys\tcc\win64\tcc.exe" -g -o output dll.c fib.c hello_dll.c hello_win.c
Задайте полный путь папки, куда Polyspace запускает команду сборки в поле Build command working folder. Например:
C:\Program Files\Polyspace as You Code\R2021a\sys\tcc\win64\examples
Нажмите Generate build configuration.
Polyspace запускает вашу команду сборки, прослеживает сборку, чтобы извлечь конфигурационную информацию и генерирует файл опций. Polyspace как Вы механизм Анализа кода использует сгенерированный файл опций в последующих исследованиях.
Сгенерированный файл опций хранится в .polyspace-configure папка под workingDirectory/projectNameworkingDirectory путь является путем Results folder, который вы задаете в Polyspace> Preferences. projectName имя проекта, который содержит файлы, которые вы в настоящее время анализируете.
Если ваша система сборки поддерживает генерацию файла базы данных компиляции JSON, используйте эту установку. Файл содержит призывы компилятора ко всем модулям перевода в вашем проекте. См. базу данных компиляции JSON.
Извлекать вашу информацию о конфигурации сборки из базы данных компиляции JSON:
Сгенерируйте файл базы данных компиляции JSON. Для примера того, как сгенерировать этот файл, смотрите, Создают Файл Опций Polyspace из Базы данных Компиляции JSON.
Если вы используете базу данных компиляции JSON, которая не была сгенерирована на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете.
Перейдите к Polyspace> Configure Project.
Выберите Get from JSON Compilation Database file и задайте полный путь к файлу базы данных компиляции JSON, который вы сгенерировали на шаге 1. Смотрите Конфигурируют Polyspace, когда Вы Кодируете Плагин в Eclipse.
Нажмите Generate build configuration.
Polyspace извлекает информацию о конфигурации сборки из базы данных компиляции и генерирует файл опций. Polyspace как Вы механизм Анализа кода использует сгенерированный файл опций в последующих исследованиях.
Сгенерированный файл опций хранится в .polyspace-configure папка под workingDirectory/projectNameworkingDirectory путь является путем Results folder, который вы задаете в Polyspace> Preferences. projectName имя проекта, который содержит файлы, которые вы в настоящее время анализируете.
Если вы вносите изменения в свою конфигурацию сборки, например, если вы добавляете исходный файл в свой проект или рабочую область или переименовываете существующий файл, обновляете сгенерированный файл опций, чтобы отразить те изменения. Прежде чем вы обновите файл опций, убедитесь, что ваша сборка завершается успешно с новой настройкой.
Чтобы обновить файл опций, выберите Polyspace> Generate Build Configuration. Вы не должны обновлять файл опций, если вы извлекаете свою сборку из проекта Eclipse.
Если вы извлекаете свою информацию о сборке из файла базы данных компиляции JSON, регенерируете базу данных компиляции, прежде чем вы обновите файл опций сборки.
Используйте эту установку если:
Вы знаете детали своей системы сборки, и вы хотите задать опции анализа Polyspace, которые эмулируют вашу конфигурацию сборки в файле опций. Смотрите Файлы Опций для Анализа Polyspace.
Для списка доступных опций анализа см. Полный список Аналитических Опций Engine Polyspace Bug Finder.
Вы снова используете файл опций Polyspace, который вы или кто-то еще в вашей команде сконфигурировали для своей системы сборки.
Если вы снова используете файл опций, который не был сконфигурирован или сгенерирован на вашей локальной машине, убедитесь, что пути, перечисленные в файле, доступны от местоположения, куда вы запускаете Polyspace, когда Вы Кодируете.
Задавать файл опций анализа:
Перейдите к Polyspace> Configure Project.
Выберите Get from Polyspace build options file и задайте полный путь к файлу опций. Смотрите Конфигурируют Polyspace, когда Вы Кодируете Плагин в Eclipse.
Polyspace как Вы, механизм Анализа кода использует файл опций, который вы задаете в последующих исследованиях.
Если вы вносите изменения в свою конфигурацию сборки, редактируете файл опций, чтобы отразить те изменения. Смотрите Задают Поведение Целевого окружения и Компилятора.
Если вы конфигурируете анализ в десктопном решении Polyspace, можно использовать информацию с получившегося рабочего стола Polyspace файл PSPRJ, чтобы сконфигурировать Polyspace как Вы Анализ кода.
Импортировать опции анализа из рабочего стола Polyspace файл PSPRJ:
Перейдите к Polyspace> Configure Project.
Выберите Build options file not required. Смотрите конфигурируют Polyspace, когда вы кодируете плагин в Eclipse.
Этот выбор позволяет вам оставлять поле Get from Polyspace build options file пустым.
Нажмите Import options from Polyspace desktop project и выберите файл PSPRJ, из которого вы импортируете.
Polyspace генерирует файл опций и файл активации средств проверки XML, и заполняет соответствующие поля с путями к сгенерированным файлам. Polyspace как Вы механизм Анализа кода использует эти файлы в последующих исследованиях.
Если вы вносите изменения в свою конфигурацию сборки, редактируете файл опций, чтобы отразить те изменения. Смотрите Задают Поведение Целевого окружения и Компилятора.
