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