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