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