Exponenta Banner

-import-comments

Импортируйте информацию об анализе из предыдущего анализа

Синтаксис

-import-comments resultsFolder

Описание

-import-comments resultsFolder импортирует информацию об анализе (состояние, серьезность и дополнительные примечания) от предыдущего анализа, как задано папкой результатов.

Можно импортировать информацию об анализе из того же типа результатов только. Например:

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

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

Можно также использовать эту опцию, чтобы создать базовую линию для результатов анализа. В пользовательском интерфейсе Polyspace®, если вы нажимаете кнопку New, только результаты анализа, которые являются новыми по сравнению с базовой линией, остаются в списке результатов.

Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other.

Примеры

Импортируйте информацию об анализе из предыдущих результатов:

  • Bug Finder:

    polyspace-bug-finder -sources filename -import-comments C:\Results\myProj\1.2

  • Программа автоматического доказательства кода:

    polyspace-code-prover -sources filename -import-comments C:\Results\myProj\1.2

  • Сервер Bug Finder:

    polyspace-bug-finder-server -sources filename -import-comments C:\Results\myProj\1.2

  • Сервер программы автоматического доказательства кода:

    polyspace-code-prover-server -sources filename -import-comments C:\Results\myProj\1.2

Советы

Если вы используете Polyspace в качестве Вас Расширения кода в ИДАХ, введите эту опцию в файл опций анализа. Смотрите файл опций.

Смотрите также

|

Темы

Документация Polyspace Bug Finder

Поддержка