Составьте таблицу результатами глобальной переменной, упорядоченными информацией об анализе (Только Программа автоматического доказательства кода)
Этот компонент составляет таблицы, отображающие результаты глобальной переменной Polyspace® Code Prover™ в вашем коде. Все сверяется с той же комбинацией Severity, и Status появляются в той же таблице.