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

Запустите анализ с помощью быстрее локальный режим

Описание

Эта опция влияет на анализ Средства поиска Ошибки только.

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

Быстрый аналитический режим является более быстрым способом анализировать код для локализованных дефектов и кодирующие правила. Когда вы запускаете быстрый анализ, Средство поиска Ошибки анализирует ваш код для подмножества дефектов и кодирующих правил.

Установите опцию

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

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

Почему использование эта опция

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

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

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

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

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

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

Все файлы

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

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

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

Настройки

Значение по умолчанию: 'off'

На

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

'off'

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

Советы

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

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

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

  • Выберите Tools> Import Comments. Перейдите к одноуровневой папке BF_Fast_Result результатов и импортируйте комментарии из быстрых результатов режима.

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

    Для получения дополнительной информации о том, как ввести комментарии к коду, смотрите, Аннотируют Код и Скрывают Известные или Приемлемые результаты.

Быстрые аналитические ограничения

В быстром аналитическом режиме вы не можете выполнить эти действия:

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

  • Вы не можете задать ограничения с помощью опции Constraint setup (-data-range-specifications).

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

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

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