Можно экспортировать результаты анализа в текстовый файл с разделителем вкладок, MATLAB® таблица или в стандартном формате JSON. Используя экспортированное содержимое, можно:
Сгенерируйте графики или статистику о результатах, которые вы не можете легко получить из пользовательского интерфейса с помощью MATLAB или Microsoft® Excel®. Например, для каждого типа проверки Code Prover (Деление на нуль, Переполнение) можно вычислить, сколько проверок красное, оранжевое или зеленое.
Интегрируйте результаты анализа с другими проверками, которые вы выполняете над своим кодом.
Можно экспортировать результаты из пользовательского интерфейса или командной строки.
| Пользовательский интерфейс | Командная строка |
|---|---|
| Используйте опцию |
Экспортированный текстовый файл использует кодировку символов в операционной системе. Если специальные символы из ваших комментариев не экспортируются правильно в текстовый файл, перед экспортом измените кодировку символов в операционной системе.
Если вы пишете скрипты MATLAB, чтобы запустить Polyspace®можно прочитать результаты анализа Polyspace в таблицу MATLAB для дальнейшей обработки. См.:
Можно экспортировать результаты Polyspace в объект JSON. Формат JSON соответствует стандартному обозначению, предоставленному Статический Анализ Results Interchange Format (SARIF).
Используйте опцию -format json-sarif с polyspace-results-export команда. Для получения дополнительной информации см. polyspace-results-export.
Формат JSON содержит некоторые дополнительные сведения, такие как краткое имя чекера и полное сообщение, которое сопровождает результат. Используйте формат JSON, если хотите использовать это краткое имя или сообщение. Можно также использовать этот формат для более стандартизированной отчетности о результатах. Например, если вы используете несколько инструментов статического анализа и хотите сообщить об их результатах в одном интерфейсе с помощью одного алгоритма анализа, можно экспортировать все результаты в стандартный формат SARIF JSON.
Текстовый файл или таблица содержат информацию о результатах, доступную на панели Results List в пользовательском интерфейсе (за исключением информации о линии и столбце). См.:
Список результатов (Polyspace Code Prover)
Ниже перечислены некоторые различия в представлении между панелью Results List и текстовым файлом.
Текстовый файл имеет New столбец, который показывает, является ли результат новым по сравнению с последним анализом на том же коде.
Текстовый файл или таблица также содержит Key столбец. Запись в этом столбце основана на имени результата и местоположении результата в файле.
Когда вы объединяете результаты анализа из нескольких модулей, которые содержат общие файлы, используйте эту запись, чтобы исключить дубликаты. Например, если вы запускаете проверку правил кодирования на двух разных модулях и объединяете результаты, нарушения правил кодирования в общих файлах заголовков появляются дважды в результатах. Чтобы исключить дубликаты, сравните, содержащие файлы и ключи результатов. Если два результата имеют одинаковые файлы и ключи, один из них является дубликатом другого.
Вы не можете идентифицировать местоположение результата Bug Finder в исходном коде через текстовый файл. Однако вы все еще можете проанализировать файл и сгенерировать графики или статистику о своих результатах.
