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