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