Импортируйте информацию об анализе из предыдущего анализа
-import-comments
resultsFolder
-import-comments
импортирует информацию об анализе (состояние, серьезность и дополнительные примечания) от предыдущего анализа, как задано папкой результатов.resultsFolder
Можно импортировать информацию об анализе из того же типа результатов только. Например:
Вы не можете импортировать информацию об анализе из результаты средства проверки Bug Finder к проверке на этапе выполнения Code Prover. Даже когда имена средства проверки звучат подобными, базовая семантика Bug Finder и Code Prover может отличаться. Единственным исключением являются средства проверки для кодирования правил. Можно импортировать комментарии между Bug Finder и Code Prover для кодирования нарушений правила.
Вы не можете импортировать информацию об анализе из результатов верификации файла файлом в Code Prover к результатам регулярной верификации Code Prover.
Можно также использовать эту опцию, чтобы создать базовую линию для результатов анализа. В Polyspace® пользовательский интерфейс, если вы нажимаете кнопку New, только результаты анализа, которые являются новыми по сравнению с базовой линией, остается в списке результатов.
Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other
.
Импортируйте информацию об анализе из предыдущих результатов:
Bug Finder:
polyspace-bug-finder -sources filename -import-comments C:\Results\myProj\1.2
Code Prover:
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
Сервер Code Prover:
polyspace-code-prover-server -sources filename -import-comments C:\Results\myProj\1.2
Если вы используете Polyspace в качестве Вас Расширения кода в ИДАХ, введите эту опцию в файл опций анализа. Смотрите файл опций.