Use fast analysis mode for Bug Finder (-fast-analysis)

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

Описание

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Все файлы

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

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

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

Настройки

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

On

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

Off

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

Советы

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

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

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

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

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

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

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

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

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

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

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

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

Параметр: -fast-analysis
Значение по умолчанию: Off
Пример (Средство поиска Ошибки): Polyspace Bug Finder - источники filename - быстрый анализ
Пример (Сервер Средства поиска Ошибки): сервер средства поиска ошибки полипробела - источники filename - быстрый анализ