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