Задайте опции анализа Polyspace

Можно изменить опции по умолчанию, связанные с Polyspace^® анализ. Для образца можно:

Измените набор дефектов, которые ищет Bug Finder.
См. Find defects (-checkers).
Измените поведение шашек во время выполнения по умолчанию в Code Prover.
См., например, Overflow mode for unsigned integer (-unsigned-integer-overflows).

Полный список опций анализа см. в разделе Опции анализа в Polyspace Code Prover.

В зависимости от того, как вы запускаете Polyspace, можно соответствующим образом сконфигурировать опции анализа.

Пользовательский интерфейс Polyspace

В пользовательском интерфейсе Polyspace вы создаете проект для анализа. Проект может иметь один или несколько модулей. Щелкните узел Configuration в модуле. На панели Configuration измените опции по мере необходимости.

Для получения дополнительной информации см. всплывающую подсказку по каждой опции. Щелкните ссылку More help для контекстно-зависимой справки по опциям.

Для получения дополнительной информации смотрите Запуск анализа Polyspace на Рабочем столе.

Скрипты Windows или Linux

Предоставьте опции polyspace-bug-finder или polyspace-code-prover команда. См. также:

Для образца:

polyspace-code-prover -sources file_name -main-generator main-generator-writes-variables all

Можно также указать опции в текстовом файле. См. «Запуск анализа Polyspace из командной строки».

Скрипты MATLAB

Создайте polyspace.Project Объекту и установите опции через Configuration свойство объекта. См. также:

Для образца:

proj = polyspace.Project;
proj.Configuration.CodingRulesCodeMetrics.EnableMisraC3 = true;
proj.Configuration.BugFinderAnalysis.EnableCheckers = false;

Eclipse и основанные на Eclipse IDE

Выберите Polyspace > Configure Project. Установите опции в окне Configuration.

Некоторые опции Target & Compiler автоматически извлекаются из Eclipse™ проекта. Смотрите Запуск анализа Polyspace на проектах Eclipse.

Simulink

В вашем Simulink^® задайте основные опции через Simulink Параметры Конфигурации. На вкладке Apps выберите Polyspace а затем на вкладке Polyspace выберите Settings.

Для перехода к опциям анализа Polyspace, связанным с сгенерированным кодом, на вкладке Polyspace смотрите Settings > Project Settings.

См.:

Приложение MATLAB Coder

В MATLAB^® Coder™ приложении после генерации кода задайте основные опции через панель Polyspace. Из этого окна можно перейти к полному набору опций анализа Polyspace.

См.:

Документация