Опции анализа в Polyspace Bug Finder
Сконфигурируйте анализ Polyspace® Bug Finder™
Независимо от того, где вы запускаете Polyspace от, вы можете хотеть изменить некоторые опции анализа по умолчанию. Можно изменить опции, чтобы работать вокруг проблем компиляции, задать дополнительные средства проверки, установить правила от кодирования стандартов, сгенерировать отчеты, и так далее. Смотрите все доступные опции анализа и сопроводительные рабочие процессы здесь. Опции организованы по данным групп на панели Configuration в пользовательском интерфейсе Polyspace. Для специфичных для платформы инструкций относительно того, как установить опции, смотрите, Задают Опции анализа Polyspace.
- Цель и компилятор
Тип целевого процессора, поведение компилятора
- Макросы
Технические требования препроцессора и определения
- Параметры среды
Предварительная обработка скрипта, включайте файлы
- Входные параметры и блокирование
Укажите диапазоны для глобальных переменных и функций
- Многозадачность
Многозадачные опции, точки входа, критические разделы, исключительные задачи
- Кодирование Standards & Code Metrics
MISRA, AUTOSAR, CERT и JSF, кодирующий наборы правила, пользовательские правила кодирования, метрики кода
- Анализ Bug Finder
Опции анализа для нахождения дефектов
- Основной генератор
Основная генерация; инициализация, шаг и функции завершения; параметры и входные переменные
- Проверяйте поведение
Измените поведение по умолчанию проверок на этапе выполнения
- Создание отчетов
Дефектные отчеты, сводные отчеты, сообщают о шаблонах
- Настройки выполнения
Удаленный анализ, репозиторий результатов
- Расширенные настройки
Постаналитические команды, скрипты, неофициальные опции
- Командная строка только опции
Командная строка только опции, расширенные настройки
