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