exponenta event banner

Используйте режим быстрого анализа для поиска ошибок (-fast-analysis)

Выполнение анализа с использованием более быстрого локального режима

Описание

Этот параметр влияет только на анализ Bug Finder.

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

Быстрый режим анализа - это более быстрый способ анализа кода на наличие локализованных дефектов и нарушений стандартов кодирования. При запуске быстрого анализа Bug Finder анализирует код на наличие подмножества дефектов и правил кодирования. Эти дефекты и нарушения стандартов кодирования могут быть обнаружены на ранних стадиях анализа или могут использовать архивную информацию из предыдущего анализа. Результаты анализа также сравнительно легче просматривать и фиксировать, поскольку большинство результатов можно понять, сосредоточившись на двух или трех строках кода (линия с дефектом и одно или два предыдущих события).

Из-за упрощенного характера анализа можно увидеть значительно меньше дефектов в режиме быстрого анализа по сравнению с обычным анализом Bug Finder.

Задать опцию

Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта эта опция доступна в узле Run Settings.

файл командной строки и параметров: Использовать параметр -fast-analysis. См. раздел Сведения о командной строке.

Зачем использовать этот параметр

При использовании этой опции необходимо меньше ждать результатов анализа от второго анализа. Во время разработки можно часто выполнять анализ в быстром режиме и быстро устранять новые дефекты или нарушения стандартов кодирования.

Polyspace ® быстро выдает результаты, поскольку анализ локализован. При повторном запуске в режиме быстрого анализа в Polyspace выполняется повторный анализ только тех файлов, которые необходимо повторно проанализировать, что еще более ускоряет регенерацию результатов. Эти ситуации вызывают повторный анализ.

СитуацияЧто повторно анализируется
Исходный файл изменен.Измененный исходный файл
Вы изменили файл заголовка.Исходные файлы, содержащие измененный файл заголовка (прямо или косвенно)
Добавлена или удалена опция анализа.Все файлы

Предыдущие результаты быстрого анализа не найдены.

Например, папка результатов была удалена.

Все файлы
Был обновлен до более поздней версии Polyspace и выполнен анализ.

Все файлы

Комментарии предыдущего анализа сохраняются и импортируются в текущий анализ.

Например, рассмотрим проект Polyspace с тремя .c и вы исправите ошибку в одном из файлов. При повторном выполнении анализа Polyspace повторно анализирует только один измененный файл.

Результаты быстрого анализа отображаются в папке отдельно от результатов обычного анализа.

Настройки

По умолчанию: Откл.

На

Finder™ ошибки Polyspace выполняется в режиме быстрого анализа. Polyspace анализирует код только для подмножества дефектов и нарушений стандартов кодирования. Если включена проверка дефектов или нарушений стандартов кодирования, которые не поддерживаются быстрым анализом, код не проверяется на наличие этих результатов.

Прочь

Polyspace Bug Finder работает в обычном режиме. Анализ проверяет все выбранные дефекты, нарушения стандартов кодирования и метрики кода.

Совет

Импорт комментариев

При вводе комментариев в результаты комментарии автоматически импортируются в следующий анализ в быстром режиме.

Чтобы импортировать комментарии из результатов быстрого режима в результаты регулярного анализа Bug Finder, выполните одно из следующих действий.

  • Выберите «Сервис» > «Импорт комментариев». Перейдите в папку результатов одноуровневого узла BF_Fast_Result и импортировать комментарии из результатов быстрого режима.

  • При просмотре результатов быстрого режима введите комментарии непосредственно в свой код. При выполнении регулярного анализа этого кода комментарии импортируются в результаты анализа.

    Дополнительные сведения о вводе комментариев к коду см. в разделах Аннотировать код и Скрыть известные или приемлемые результаты.

Ограничения быстрого анализа

В режиме быстрого анализа невозможно выполнить следующие действия:

  • Невозможно создать новую папку результатов для каждого прогона. Даже при создании новой папки результатов каждый новый прогон перезаписывает предыдущий.

  • Нельзя задать зависимости с помощью опции Constraint setup (-data-range-specifications).

  • Невозможно выполнить анализ в удаленном кластере.

Информация командной строки

Параметр: -fast-analysis
По умолчанию: Откл.
Пример (поиск ошибок): polyspace-bug-finder -sources filename -fast-analysis
Пример (сервер поиска ошибок): polyspace-bug-finder-server -sources filename -fast-analysis