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