Аналитические опции

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