Создание таблицы параметров анализа, допущений и конфигурации правил кодирования
Этот компонент создает следующие таблицы:
Параметры полиспейса: параметры анализа, которые использовались для получения результатов. В таблице перечислены версии параметров в командной строке вместе с их значениями.
Допущения анализа: допущения, используемые для получения результатов проверки кода. В таблице перечислены только изменяемые допущения. Предположения, которые нельзя изменить, см. в документации Polyspace ®.
Конфигурация правил кодирования: правила кодирования, нарушения которых были проверены. В таблице перечислены номер правила, описание правила и другие сведения о правилах.
Файлы с ошибками компиляции: Если в проекте есть исходные файлы с ошибками компиляции, эти файлы перечисляются.