Если вы понимаете первопричину открытия Polyspace®, можно зафиксировать код. В противном случае добавьте комментарии в свои результаты Polyspace зафиксировать код позже или выровнять по ширине результат. Можно использовать комментарии, чтобы отслеживать успех анализа.
Если вы добавляете комментарии в свой файл результатов, они переносят на следующий анализ того же проекта. Если вы добавляете, что комментарии к вашему коду (аннотируют), они переносят на любой последующий анализ кода, ли в том же проекте или нет. Можно также скрыть результаты с помощью аннотаций кода.
Можно прокомментировать или Results List или панель Result Details. Чтобы прокомментировать, выберите результат, затем установите поля Severity и Status, и опционально, введите примечания с большим количеством объяснений. Состояние указывает на ваш ответ на результат Polyspace. Если вы не планируете зафиксировать свой код в ответ на результат, присвойте одно из следующих состояний:
Justified
No Action Planned
Not a Defect
На основе состояния Polyspace полагает, что вы уделили должное внимание и выровняли по ширине тот результат (сохранил код несмотря на результат).
Если вы вводите комментарии к коду или аннотации в определенном синтаксисе, программное обеспечение может считать их и заполнить Severity, Status и поля Comment в следующем анализе кода.
Можно или ввести аннотацию непосредственно или скопировать ее с пользовательского интерфейса. В пользовательском интерфейсе, чтобы скопировать аннотации, щелкают правой кнопкой по результату и выбирают Add Pre-Justification To Clipboard. Откройте свой исходный код в редакторе и вставке на той же строке как результат. Если вы следуете за этим рабочим процессом, Polyspace принимает, что вы установили состояние No Action Planned
. Программное обеспечение скрывает результат всех мест (кроме отчетов, необходимых для сертификации). Единственными исключениями являются критические по отношению к безопасности проверки на этапе выполнения Программы автоматического доказательства Кода, которые скрыты от списка результатов, но не исходного кода.
Чтобы вывести на экран скрытые результаты, из меню Showing, очищают поле Hide results justified in code.
Если вы хотите явным образом установить состояние, сначала заполнить поле Status для результата и затем скопировать в ваш код. Вставьте на строке, содержащей результат.
Если вы хотите непосредственно ввести аннотацию, смотрите, что синтаксис аннотации в Аннотирует Код и Скрывает Известные или Приемлемые результаты.